New Insights into Partial Evaluation: the SCHISM Experiment
Abstract elided by the publisher.
Related papers
- A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics TOPLAS 1992
- Schism: fragmentation-tolerant real-time garbage collection PLDI 2010
- Partial Online Cycle Elimination in Inclusion Constraint Graphs PLDI 1998
- A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp POPL 1978
- A Generative Programming Approach to Interactive Information Retrieval: Insights and Experiences GPCE 2005
- Two for the Price of One: Composing Partial Evaluation and Compilation PLDI 1997
- Fast narrowing-driven partial evaluation for inductively sequential programs ICFP 2005
- Jones-optimal partial evaluation by specialization-safe normalization POPL 2018