μZ- An Efficient Engine for Fixed Points with Constraints
No abstract available.
Related papers
- Synthesis of layout engines from relational constraints OOPSLA 2015
- Points-To Analysis for Java using Annotated Constraints OOPSLA 2001
- Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars PLDI 1986
- NNrepair: Constraint-Based Repair of Neural Network Classifiers CAV 2021
- Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion CAV 1995
- Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) TACAS 1998
- Incremental analysis of constraint logic programs TOPLAS 2000
- Erratum to "Efficient constraint propagation engines" TOPLAS 2009