Entailment with conditional equality constraints

DOI10.1007/3-540-45309-1_12MaRDI QIDQ2763672zbMATH OpenFDO

Authors Zhendong Su, Alexander M. Aiken

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280170

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Entailment of non-structural subtype constraints
• Constraint abstractions
• Polynomial Constraints for Sets with Cardinality Bounds
• Set constraints in some equational theories
• A complexity perspective on entailment of parameterized linear constraints

This page was built for publication: Entailment with conditional equality constraints

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