Tool Support for Language Design and Prototyping with Montages
Abstract elided by the publisher.
Related papers
- A Type System for Prototyping Languages POPL 1994
- Digital Crochet: Toward a Visual Language for Pattern Description Onward! 2022
- A Language-Parametric Approach to Exploratory Programming Environments SLE 2022
- A Hoare Logic for Symmetry Properties OOPSLA 2025
- Functional Design and Implementation of Graphical User Interfaces for Theorem Provers JFP 1999
- RAPID: Prototyping Control Panel Interfaces OOPSLA 1987
- LLHD: a multi-level intermediate representation for hardware description languages PLDI 2020
- Lightweight Support for Magic Wands in an Automatic Verifier ECOOP 2015