Yoshihiko Futamura

发表

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

Yoshihiko Futamura, Y. Futamura, 1999, High. Order Symb. Comput..

A method for automatically generating a source program

Yoshihiko Futamura, Kazumasa Saito, Hiroyuki Maezawa, 1985 .

Parital Computation of Programs

Yoshihiko Futamura, Y. Futamura, 1982, RIMS Symposium on Software Science and Engineering.

Recursion Removal from Recursive Programs with Only One Descent Function

Yoshihiko Futamura, Zenjiro Konishi, Yusuke Ichikawa, 2005, IEICE Trans. Inf. Syst..

Automatic generation of very efficient programs by Generalized Partial Computation

Yoshihiko Futamura, Zenjiro Konishi, Robert Glück, 2009, Wuhan University Journal of Natural Sciences.

An Extension of Shortcut Deforestation for Accumulatiove List Folding

Yoshihiko Futamura, Robert Glück, Kazuhiko Kakehi, 2002 .

Partial evaluation and program transformation day

Yoshihiko Futamura, Robert Glück, 2009, New Generation Computing.

Program Evaluation and Generalized Partial Computation

Yoshihiko Futamura, 1988, FGCS.

Automatic generation of efficient string matching algorithms by generalized partial computation

Yoshihiko Futamura, Zenjiro Konishi, Robert Glück, 2002, ASIA-PEPM '02.

Essence of Generalized Partial Computation

Yoshihiko Futamura, Akihiko Takano, Kenroku Nogi, 1991, Theor. Comput. Sci..

Implementation of an Experimental System for Automatic Program Transformation Based on Generalized Partial Computation

Yoshihiko Futamura, Zenjiro Konishi, Robert Glück, 2000 .

A Termination Condition for Partial Evaluation of Recursive Program

Yoshihiko Futamura, Robert Glück, Litong Song, 2000 .

Partial Evaluation of Computation Process, Revisited

Yoshihiko Futamura, 1999, High. Order Symb. Comput..

Recursion Removal from Recursive Programs with One Descent Function

Yoshihiko Futamura, Zenjiro Konishi, Yusuke Ichikawa, 2002, APLAS.

Recursion Removal under Environments with Cache and Garbage Collection (Program Transformation, Symbolic Computation and Algebraic Manipulation)

Yoshihiko Futamura, Kazuhiko Kakehi, 2000 .

A New Termination Approach for Specialization

Yoshihiko Futamura, Litong Song, Y. Futamura, 2000, SAIG.

Diagrams for Structured Programs

Yoshihiko Futamura, 1984 .

Automatic generation of a Boyer-Moore type pattern matcher from a naive pattern matcher

Yoshihiko Futamura, Zenjiro Konishi, 2002 .

A Loop Optimization Technique Based on Quasi- Invariance

Yoshihiko Futamura, Robert Glück, Zhenjiang Hu, 2000 .

WSDFU: Program Transformation System Based on Generalized Partial Computation

Yoshihiko Futamura, Zenjiro Konishi, Robert Glück, 2002, The Essence of Computation.

On Deforesting Parameters of Accumulating Maps

Yoshihiko Futamura, Robert Glück, Kazuhiko Kakehi, 2001, LOPSTR.

PAD/PAM:A Program Design Method

Yoshihiko Futamura, 1984 .

Loop Quasi-Invariance Code Motion

Yoshihiko Futamura, Robert Glück, Zhenjiang Hu, 2000 .

Automatic Program Generation by Generalized Partial Computation (Program Transformation, Symbolic Computation and Algebraic Manipulation)

Yoshihiko Futamura, Zenjiro Konishi, Litong Song, 2000 .

Disign and Implementation of Programs by Problem Analysis Diagram (PAD)

Yoshihiko Futamura, Masayoshi Tsutsumi, Toshio Kawai, 1980 .

Loop peeling based on quasi-invariance/induction variables

Yoshihiko Futamura, Robert Glück, Litong Song, 2009, Wuhan University Journal of Natural Sciences.

Data Structure for Solving Programming Problems Concerning Segments in a Sequence

Yoshihiko Futamura, Katsuhiko Kakehi, Natsuhiko Futamura, 1997, WAE.