PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings
Abstract elided by the publisher.
Related papers
- Compiling embedded languages JFP 2003
- Reference attribute grammar controlled graph rewriting: motivation and overview SLE 2015
- Strategic tree rewriting in attribute grammars SLE 2020
- Graph Translation Schemes to Generate Compiler Parts TOPLAS 1987
- Generating Rewritable Abstract Syntax Trees SLE 2008
- Almost first-class language embedding: taming staged embedded DSLs GPCE 2015
- Synthesizing Instruction Selection Back-Ends from ISA Specifications Made Practical CGO 2026
- A provably sound TAL for back-end optimization PLDI 2003