The Program Is the Model: Enabling Transformations@run.time
Abstract elided by the publisher.
Related papers
- RIFS: Run-Time Invariant Function Specialization CC 2026
- Miniphases: compilation using modular and efficient tree transformations PLDI 2017
- Constraint-based run-time state migration for live modeling SLE 2018
- Compile-time deallocation of individual objects ISMM 2006
- Using Transformations in the Implementations of Higher-Order Functions JFP 1991
- StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution TOPLAS 2026
- Precise garbage collection for C ISMM 2009
- Managing uncertainty in bidirectional model transformations SLE 2015