Modular Language Descriptions
No abstract available.
Related papers
- Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles PLDI 2026
- A nanopass approach to a modular RDF implementation SLE 2026
- cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution) TACAS 2021
- Modular language composition for the masses SLE 2018
- Gillian, part i: a multi-language platform for symbolic execution PLDI 2020
- The Golem Horn Solver CAV 2023
- Model-based kinematics generation for modular mechatronic toolkits GPCE 2010
- Modular Compilation for Higher-Order Functional Choreographies ECOOP 2023