Program Generators and the Tools to Make Them
No abstract available.
Related papers
- Optimizing synthesis with metasketches POPL 2016
- MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) ECOOP 2019
- mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic CAV 2024
- Streamlining the Project Cycle With Object-Oriented Requirements OOPSLA 1994
- Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems CAV 2025
- Sound Gradual Verification with Symbolic Execution POPL 2024
- Special Issue on Generic Programming Editorial JFP 2010
- RefinedRust: A Type System for High-Assurance Verification of Rust Programs PLDI 2024