Model Transformation Languages Relying on Models as ADTs
No abstract available.
Related papers
- Synthesis of Recursive ADT Transformations from Reusable Templates TACAS 2017
- Violat: Generating Tests of Observational Refinement for Concurrent Objects CAV 2019
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Solving constrained Horn clauses modulo algebraic data types and recursive functions POPL 2022
- A relational modal logic for higher-order stateful ADTs POPL 2010
- Fast Approximations of Quantifier Elimination CAV 2023
- The WhyRel Prototype for Modular Relational Verification of Pointer Programs TACAS 2023
- Beyond the elementary representations of program invariants over algebraic data types PLDI 2021