REFINITY to Model and Prove Program Transformation Rules
No abstract available.
Related papers
- Demystifying model transformations: an approach based on automated rule inference OOPSLA 2009
- Skipping Refinement CAV 2015
- Precise Verification of Transformers Through ReLU-Catalyzed Abstraction Refinement CAV 2026
- Executing certified model transformations on Apache Spark SLE 2021
- Almost-Sure Termination by Guarded Refinement ICFP 2024
- Formal Basis for the Refinement of Rule Based Transition Systems JFP 1996
- Semantic type qualifiers PLDI 2005
- Program synthesis using abstraction refinement POPL 2018