Author of the publication

Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler

. Higher-Order and Symbolic Computation, 12 (4): 381--391 (1999, Originally published in 1971)
DOI: 10.1023/A:1010095604496

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Recursion Removal from Recursive Programs with One Descent Function., , and . APLAS, page 383-395. (2002)On Deforesting Parameters of Accumulating Maps., , and . LOPSTR, volume 2372 of Lecture Notes in Computer Science, page 46-56. Springer, (2001)Program Evaluation and Generalized Partial Computation.. FGCS, page 685-692. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)A New Termination Approach for Specialization., and . SAIG, volume 1924 of Lecture Notes in Computer Science, page 72-91. Springer, (2000)Parital Computation of Programs.. RIMS Symposium on Software Science and Engineering, volume 147 of Lecture Notes in Computer Science, page 1-35. Springer, (1982)WSDFU: Program Transformation System Based on Generalized Partial Computation., , and . The Essence of Computation, volume 2566 of Lecture Notes in Computer Science, page 358-378. Springer, (2002)Automatic Generation of Very Efficient Programs by Generalized Partial Computation., , and . APLAS, page 183-191. (2000)Partial Computation of Programs. (1983)Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler. Higher-Order and Symbolic Computation, 12 (4): 381--391 (1999, Originally published in 1971)Data Structure for Solving Programming Problems Concerning Segments in a Sequence., , , , and . WAE, page 219-230. Università Ca' Foscari di Venezia, (1997)