Keyword : program transformation


Program Transformation Templates for Tupling Based on Term Rewriting
Yuki CHIBA Takahito AOTO Yoshihito TOYAMA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5 ; pp. 963-973
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Program Transformation
Keyword: 
program transformationtuplingterm rewriting
 Summary | Full Text:PDF

Toward Incremental Parallelization Using Navigational Programming
Lei PAN Wenhui ZHANG Arthur ASUNCION Ming Kin LAI Michael B. DILLENCOURT Lubomir F. BIC Laurence T. YANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/02/01
Vol. E89-D  No. 2 ; pp. 390-398
Type of Manuscript:  Special Section PAPER (Special Section on Parallel/Distributed Computing and Networking)
Category: Parallel/Distributed Programming Models, Paradigms and Tools
Keyword: 
programming methodologiesincremental parallelizationnavigational programming (NavP)program transformationmatrix multiplicationgentleman's algorithmcannon's algorithm
 Summary | Full Text:PDF

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

Applying Program Transformation to Type Inference for a Logic Language
Yuuichi KAWAGUCHI Kiyoshi AKAMA Eiichi MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/11/25
Vol. E81-D  No. 11 ; pp. 1141-1147
Type of Manuscript:  PAPER
Category: Automata,Languages and Theory of Computing
Keyword: 
program transformationtype inferencelogic language
 Summary | Full Text:PDF

Optimizing Linear Recursive Formulas by Detaching Isolated Variables
Xiaoyong DU Naohiro ISHII 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/05/25
Vol. E78-D  No. 5 ; pp. 579-585
Type of Manuscript:  PAPER
Category: Databases
Keyword: 
deductive databaselinear recursive formulaprogram transformation
 Summary | Full Text:PDF

Derivation of a Parallel Bottom-Up Parser from a Sequential Parser
Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/11/25
Vol. E75-D  No. 6 ; pp. 852-860
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
parallel logic programmingAND/OR-parallelismnondeterminacyprogram transformationbottom-up parsing
 Summary | Full Text:PDF