Keyword : term rewriting


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

User-Defined On-Demand Matching
Masaki NAKAMURA Kazuhiro OGATA Kokichi FUTATSUGI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/07/01
Vol. E92-D  No. 7 ; pp. 1401-1411
Type of Manuscript:  PAPER
Category: Computation and Computational Models
Keyword: 
the evaluation strategylazy evaluationon-demand matchingterm rewriting
 Summary | Full Text:PDF