Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems
Abstract elided by the publisher.
Related papers
- Efficient constraint propagation engines TOPLAS 2008
- Prioritizing constraint evaluation for efficient points-to analysis CGO 2011
- GPU-accelerated fixpoint algorithms for faster compiler analyses CC 2019
- Fixpoints for the masses: programming with first-class Datalog constraints OOPSLA 2020
- Distributed SMT Solving Based on Dynamic Variable-Level Partitioning CAV 2024
- Push-pull constraint graph for efficient points-to analysis ISMM 2014
- The role of commutativity in constraint propagation algorithms TOPLAS 2000
- A Differential Fixpoint Evaluation Framework for Non-distributive Systems APLAS 2003