Abstract Semantic Differencing for Numerical Programs
Abstract elided by the publisher.
Related papers
- Abstract semantic differencing via speculative correlation OOPSLA 2014
- CDDiff: Semantic Differencing for Class Diagrams ECOOP 2011
- Domain-specific model differencing in visual concrete syntax SLE 2019
- Finite Differencing of Computable Expressions TOPLAS 1982
- Finite differencing of logical formulas for static analysis TOPLAS 2010
- Symbolic Finite Differencing - Part I ESOP 1990
- Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing VMCAI 2021
- Finite Differencing of Logical Formulas for Static Analysis ESOP 2003