STARLET: An Affix-Based Compiler Compiler Designed as a Logic Programming System
Abstract elided by the publisher.
Related papers
- Affix Grammar Driven Code Generation TOPLAS 1985
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- Dependently-Typed Programming with Logical Equality Reflection ICFP 2023
- Compiler-Assisted Crash Consistency for PMEM ISMM 2025
- Optimizing Compilation of CLP(R) TOPLAS 1998
- Liquid Tree Automata CAV 2026
- CN: Verifying Systems C Code with Separation-Logic Refinement Types POPL 2023
- Sequent calculus as a compiler intermediate language ICFP 2016