SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs
No abstract available.
Related papers
- Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier OOPSLA 2023
- Identifying the Semantic and Textual Differences Between Two Versions of a Program PLDI 1990
- Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach GPCE 2023
- CDDiff: Semantic Differencing for Class Diagrams ECOOP 2011
- A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools DLS 2017
- MUST: Minimal Unsatisfiable Subsets Enumeration Tool TACAS 2020
- Example-based live programming for everyone: building language-agnostic tools for live programming with LSP and GraalVM Onward! 2020
- Execution vs. Parse-Based Language Servers: Tradeoffs and Opportunities for Language-Agnostic Tooling for Dynamic Languages DLS 2022