Redex: a language for lightweight semantics engineering (keynote)
No abstract available.
Related papers
- Engineering meta-languages for specifying software languages (keynote) SLE 2017
- Lightweight modular staging (LMS): generate all the things! (keynote) GPCE 2016
- There Is Only One Time in Software (Language) Engineering! (Keynote) SLE 2024
- Biological computation (keynote) CGO 2018
- CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote) CPP 2023
- The sparse tensor algebra compiler (keynote) CC 2019
- Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction JFP 2008
- Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data OOPSLA 2023