Correctness of Code Generation from a Two-Level Meta-Language
No abstract available.
Related papers
- Staged compilation with two-level type theory ICFP 2022
- Profile-guided meta-programming PLDI 2015
- Pragmatic Aspects of Two-Level Denotational Meta-Languages ESOP 1986
- Meta-programming through typeful code representation ICFP 2003
- Meta-programming through typeful code representation JFP 2005
- Two for the Price of One: Composing Partial Evaluation and Compilation PLDI 1997
- Typed syntactic meta-programming ICFP 2013
- Generating customized verifiers for automatically generated code GPCE 2008