Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)
No abstract available.
Related papers
- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points TACAS 2004
- From Datalog to flix: a declarative language for fixed points on lattices PLDI 2016
- Abstract Interpretation with Unfoldings CAV 2017
- Local Type Reconstruction by Means of Symbolic Fixed Point Iteration ESOP 1994
- Oracle-free repair synthesis for floating-point programs OOPSLA 2022
- Functional pearl: getting a quick fix on comonads Haskell 2015
- Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis SLE 2024
- NNrepair: Constraint-Based Repair of Neural Network Classifiers CAV 2021