Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract)
No abstract available.
DOI 10.1007/3-540-55984-1_23
Related papers
- Two for the Price of One: Composing Partial Evaluation and Compilation PLDI 1997
- Type-Directed Partial Evaluation POPL 1996
- Generating Action Compilers by Partial Evaluation JFP 1996
- Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates CGO 2026
- A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics TOPLAS 1992
- Static and Dynamic Semantics Processing POPL 1991
- A framework for the integration of partial evaluation and abstract interpretation of logic programs TOPLAS 2004
- A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) CAV 1998