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 strategy, lazy evaluation, on-demand matching, term rewriting, |