Alchemist: Learning Guarded Affine Functions
No abstract available.
Related papers
- Alchemist: A Transparent Dependence Distance Profiling Infrastructure CGO 2009
- Affine Loop Invariant Generation via Matrix Algebra CAV 2022
- Automatic Generation of Program Affinity Policies Using Machine Learning CC 2013
- Termination Analysis of Probabilistic Programs Through Positivstellensatz's CAV 2016
- Discovering affine equalities using random interpretation POPL 2003
- Decision Tree Learning in CEGIS-Based Termination Analysis CAV 2021
- Analysis of modular arithmetic TOPLAS 2007
- On the Termination of Integer Loops TOPLAS 2012