Improving On-Demand Strategy Annotations-Reference-Cited by-同舟云学术

Improving On-Demand Strategy Annotations

Published:2002 Issue: Volume: Page:1-18
ISSN:0302-9743
Container-title:Logic for Programming, Artificial Intelligence, and Reasoning
language:
Short-container-title:

Author:

Alpuente M.,Escobar S.,Gramlich B.,Lucas S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36078-6_1

Reference22 articles.

1. M. Alpuente, S. Escobar, and S. Lucas. Correct and complete (positive) strategy annotations for OBJ. Electronic Notes in Theoretical Computer Science, volume 71. Elsevier Sciences, to appear 2002.

2. M. Alpuente, M. Falaschi, P. Julián, and G. Vidal. Specialization of Lazy Functional Logic Programs. Sigplan Notices, 32(12):151–162, ACM Press, New York, 1997.

3. S. Antoy and S. Lucas. Demandness in rewriting and narrowing. Electronic Notes in Theoretical Computer Science, volume 76. Elsevier Sciences, to appear 2002.

4. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.

5. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. Electronic Notes in Theoretical Computer Science, volume 4. Elsevier Sciences, 1996.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS;LEIBNIZ INT PR INFOR;2010

2. On-demand strategy annotations revisited: An improved on-demand evaluation strategy;Theoretical Computer Science;2010-01

3. User-Defined On-Demand Matching;IEICE Transactions on Information and Systems;2009

4. Proving termination of context-sensitive rewriting by transformation;Information and Computation;2006-12

5. On-demand Evaluation for Maude;Electronic Notes in Theoretical Computer Science;2005-03