Partial evaluation of computation process -- an approach to a compiler-compiler

DOI10.1023/A:1010095604496MaRDI QIDQ1974455zbMATH OpenOpenAlexFDO

Authors Yoshihiko Futamura

Publication date 18 March 2002

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010095604496

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Review text

Reprint of Systems Comput. Controls 2, No. 5, 45-90 (1971).

Cited in

(16)

• Most specific logic programs
• Partial evaluation of computation process, revisited.
• Efficient and flexible access control via Jones-optimal logic program specialisation
• Fast offline partial evaluation of logic programs
• Asymptotic speedups, bisimulation and distillation (work in progress)
• scientific article; zbMATH DE number 1188121 (Why is no real title available?)
• scientific article; zbMATH DE number 42475 (Why is no real title available?)
• Self-generating program specializers
• Generating action compilers by partial evaluation
• The narrowing-driven approach to functional logic program specialization
• Binding-time analysis for both static and dynamic expressions
• Program transformation system based on generalized partial computation
• A portable approach to dynamic optimization in run-time specialization
• Principles of staged static+dynamic partial analysis
• Program specialization as a tool for solving word equations
• Partial program analysis for staged compilation systems

This page was built for publication: Partial evaluation of computation process -- an approach to a compiler-compiler

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1974455)