Similar Items: Automatic Modular Abstractions for Template Numerical Constraints
- Robustness against Read Committed for Transaction Templates with Functional Constraints
- Modular, Fully-abstract Compilation by Approximate Back-translation
- Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
- Global Numerical Constraints on Trees
- Constraint solving in non-permutative nominal abstract syntax
- Ranking Templates for Linear Loops