1993•Medical Entomology and ZoologyRequires access
Partial evaluation and automatic program generation
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
Open publisher page 1,460 citations
Abstract
Functions, types and expressions programming languages and their operational semantics compilation partial evaluation of a flow chart languages partial evaluation of a first-order functional languages the view from Olympus partial evaluation of the Lambda calculus partial evaluation of prolog aspects of Similix - a partial evaluator for a subset of scheme partial evaluation of C applications of partial evaluation termination of partial evaluation program analysis more general program transformation guide to the literature the self-applicable scheme specializer.