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 transformation, tupling, term 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 methodologies, incremental parallelization, navigational programming (NavP), program transformation, matrix multiplication, gentleman's algorithm, cannon'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 transformation, recursion removal, tupling, 
 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 transformation, type inference, logic 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 database, linear recursive formula, program 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 programming, AND/OR-parallelism, nondeterminacy, program transformation, bottom-up parsing, 
 Summary | Full Text:PDF