Symbolic Finite Differencing - Part I
Abstract elided by the publisher.
Related papers
- Finite Differencing of Logical Formulas for Static Analysis ESOP 2003
- Finite Differencing of Computable Expressions TOPLAS 1982
- Finite differencing of logical formulas for static analysis TOPLAS 2010
- The Construction of Stack-Controlling LR Parsers for Regular Right Part Grammars TOPLAS 1981
- Discovering Auxiliary Information for Incremental Computation POPL 1996
- Abstract Semantic Differencing for Numerical Programs SAS 2013
- Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing VMCAI 2021
- Abstract semantic differencing via speculative correlation OOPSLA 2014