Rapid Prototyping for an Assertional Specification language
No abstract available.
Related papers
- A Type System for Prototyping Languages POPL 1994
- RAPID: Prototyping Control Panel Interfaces OOPSLA 1987
- CAnDL: a domain specific language for compiler analysis CC 2018
- The Basic Object System: Supporting a Spectrum From Prototypes To Hardened Code OOPSLA 1996
- Polymorphic embedding of dsls GPCE 2008
- Running the manual: an approach to high-assurance microkernel development Haskell 2006
- Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers GPCE 2024
- Implicit dynamic frames TOPLAS 2012