Yoshihiko Futamura, Zenjiro Konishi, Robert Glück. Program Transformation System Based on Generalized Partial Computation. New Generation Comput., 20(1):75-100, 2001.
@article{FutamuraKG01,
title = {Program Transformation System Based on Generalized Partial Computation},
author = {Yoshihiko Futamura and Zenjiro Konishi and Robert Glück},
year = {2001},
tags = {optimization, rule-based, Theorem Proving, Algebraic Manipulation, Recursion Removal, transformation system, partial evaluation, program optimization, Futamura, transformation, program transformation},
researchr = {https://researchr.org/publication/FutamuraKG01},
cites = {0},
citedby = {0},
journal = {New Generation Comput.},
volume = {20},
number = {1},
pages = {75-100},
}