Statically Safe Program Generation with SafeGen
No abstract available.
Related papers
- A Compiler for Sound Floating-Point Computations using Affine Arithmetic CGO 2022
- Quasi-static scheduling for safe futures PPoPP 2008
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ICFP 2001
- Type-safe generation of modules in applicative and generative styles GPCE 2021
- Generating safe template languages GPCE 2009
- Generating safe boundary APIs between typed EDSLs and their environments GPCE 2015
- Types for safe locking: Static race detection for Java TOPLAS 2006
- Staging with control: type-safe multi-stage programming with control operators GPCE 2017