Author of the publication

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 Only One Descent Function., , and . IEICE Trans. Inf. Syst., 88-D (2): 187-196 (2005)Program Transformation System Based on Generalized Partial Computation., , and . New Generation Comput., 20 (1): 75-100 (2001)Program Evaluation and Generalized Partial Computation.. FGCS, page 685-692. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)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)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)A New Termination Approach for Specialization., and . SAIG, volume 1924 of Lecture Notes in Computer Science, page 72-91. Springer, (2000)Partial Computation of Programs. (1983)Automatic Generation of Very Efficient Programs by Generalized Partial Computation., , and . APLAS, page 183-191. (2000)