Program Analysis Using Mixed Term and Set Constraints
Abstract elided by the publisher.
Related papers
- Rigorous floating-point mixed-precision tuning POPL 2017
- A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints CAV 2009
- Cost of Soundness in Mixed-Precision Tuning OOPSLA 2025
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015
- Kaleidoscope: Mixing Objects, Constraints and Imperative Programming OOPSLA 1990
- Synthesizing MILP Constraints for Efficient and Robust Optimization PLDI 2023
- Functions as Passive Constraints in LIFE TOPLAS 1994
- Constraint-Based Array Dependence Analysis TOPLAS 1998