Program transformation system based on generalized partial computation

DOI10.1007/BF03037260zbMath0994.68132DBLPjournals/ngc/FutamuraKG01OpenAlexW2095827288WikidataQ62038266 ScholiaQ62038266MaRDI QIDQ5957059

Robert Glück, Zenjiro Konishi, Yoshihiko Futamura

Publication date: 28 February 2002

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037260

zbMATH Keywords

generalized partial computation

Mathematics Subject Classification ID

Related Items (1)

Maximally-Polyvariant Partial Evaluation in Polynomial Time

Uses Software

• WSDFU
• Refal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Essence of generalized partial computation
• Partial evaluation of computation process, revisited.
• Partial evaluation of computation process -- an approach to a compiler-compiler
• A fast string searching algorithm
• The concept of a supercompiler
• A Transformation System for Developing Recursive Programs
• Improving programs by the introduction of recursion
• A positive supercompiler

This page was built for publication: Program transformation system based on generalized partial computation