ProMoBox: A Framework for Generating Domain-Specific Property Languages
No abstract available.
Related papers
- FlashMeta: a framework for inductive program synthesis OOPSLA 2015
- Augmented example-based synthesis using relational perturbation properties POPL 2020
- A relational framework for higher-order shape analysis ICFP 2014
- Programmable Property-Based Testing ICFP 2026
- A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl) ECOOP 2020
- Constrained kinds OOPSLA 2012
- Semantics Lifting for Syntactic Sugar OOPSLA 2024
- From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages SLE 2022