Yoshihiko FUTAMURA


Recursion Removal from Recursive Programs with Only One Descent Function
Yusuke ICHIKAWA Zenjiro KONISHI Yoshihiko FUTAMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/02/01
Vol. E88-D  No. 2  pp. 187-196
Type of Manuscript:  PAPER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
program transformationrecursion removaltupling
 Summary | Full Text:PDF

An Extension of Shortcut Deforestation for Accumulative List Folding
Kazuhiko KAKEHI Robert GLUCK Yoshihiko FUTAMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2002/09/01
Vol. E85-D  No. 9  pp. 1372-1383
Type of Manuscript:  PAPER
Category: Theory and Models of Software
Keyword: 
functional programmingdeforestationaccumulating parameterattribute grammarslist processing
 Summary | Full Text:PDF

Loop Quasi-Invariance Code Motion
Litong SONG Yoshihiko FUTAMURA Robert GLUCK Zhenjiang HU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/10/25
Vol. E83-D  No. 10  pp. 1841-1850
Type of Manuscript:  PAPER
Category: Theory and Models of Software
Keyword: 
loop quasi-invariancecode motionprogram optimizationpartial evaluation
 Summary | Full Text:PDF