Set constraints with projections

DOI10.1145/1734213.1734217MaRDI QIDQ3578206zbMATH OpenOpenAlexFDO

Authors Witold Charatonik, Leszek Pacholski

Publication date 14 July 2010

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1734213.1734217

zbMATH Keywords

computational complexityprogram analysisset constraints

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• scientific article; zbMATH DE number 2090081
• Set constraints with intersection
• Set constraints in some equational theories
• Set constraints and topology
• scientific article; zbMATH DE number 1420799

Cited in

(19)

• Set constraints and logic programming
• Set constraints in some equational theories
• Interconvertibility of a class of set constraints and context-free-language reachability
• Introduction to set constraint-based program analysis
• Decidability of systems of set constraints with negative constraints
• Computational completeness of equations over sets of natural numbers
• Set constraints with intersection
• Tree Automata with Global Constraints
• Projective operations on relational constraints
• scientific article; zbMATH DE number 512856 (Why is no real title available?)
• scientific article; zbMATH DE number 1113816 (Why is no real title available?)
• scientific article; zbMATH DE number 1555173 (Why is no real title available?)
• scientific article; zbMATH DE number 2090081 (Why is no real title available?)
• scientific article; zbMATH DE number 2102743 (Why is no real title available?)
• Problems in rewriting III
• Set constraints, pattern match analysis, and SMT
• Polynomial Constraints for Sets with Cardinality Bounds
• Rational spaces and set constraints
• Constraint preservation through loops

This page was built for publication: Set constraints with projections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3578206)