Partial evaluation of computation process, revisited.

DOI10.1023/A:1010043619517MaRDI QIDQ1974454zbMATH OpenOpenAlexFDO

Authors Yoshihiko Fatumura

Publication date 18 March 2003

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

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Partial evaluation of computation process -- an approach to a compiler-compiler
• From partial evaluation to mixed computation
• A computational formalization for partial evaluation
• Essence of generalized partial computation
• scientific article; zbMATH DE number 1863305
• Computational processes and incompleteness
• scientific article; zbMATH DE number 3963187

Cited in

(2)

• scientific article; zbMATH DE number 1738292 (Why is no real title available?)
• Program transformation system based on generalized partial computation

This page was built for publication: Partial evaluation of computation process, revisited.

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