Managing Dynamic Changes in Multi-stage Program Generation Systems
No abstract available.
Related papers
- A Dependently Typed Multi-stage Calculus APLAS 2019
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Efficient nursery sizing for managed languages on multi-core processors with shared caches CGO 2020
- Multi-stage Programming with Splice Variables ICFP 2025
- Code staging in GNU Guix GPCE 2017
- Closed types for a safe imperative MetaML JFP 2003
- BuildIt: A Type-Based Multi-stage Programming Framework for Code Generation in C++ CGO 2021
- Multi-stage programming with generative and analytical macros GPCE 2021