Constraint-Based Linear-Relations Analysis
Abstract elided by the publisher.
Related papers
- Points-to Analysis in Almost Linear Time POPL 1996
- Differentially-private software frequency profiling under linear constraints OOPSLA 2020
- Automatic modular abstractions for linear constraints POPL 2009
- Combining Widening and Acceleration in Linear Relation Analysis SAS 2006
- Linear Absolute Value Relation Analysis ESOP 2011
- Cartesian Factoring of Polyhedra in Linear Relation Analysis SAS 2003
- Input-Relational Verification of Deep Neural Networks PLDI 2024
- Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets SAS 2019