Controlling Rewriting by Rewriting-Reference-Cited by-同舟云学术

Controlling Rewriting by Rewriting

Published:1996 Issue: Volume:4 Page:169-189
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Borovanský Peter,Kirchner Claude,Kirchner Hélène

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference13 articles.

1. P. Borovanský. Strategies for computational systems. Technical report, CRIN & INRIA-Lorraine, France, 1996.

2. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar (California), September 1996. Elsevier.

3. M. G. Clavel and J. Meseguer. Axiomatizing Reflective Logics and Languages. In G. Kiczales, editor, Proceedings of Reflection'96, San Francisco, California, April 1996, pages 263–288. Xerox PARC, 1996.

4. 2OBJ, a metalogical framework based on equational logic;Goguen;Philosophical Transactions of the Royal Society, Series A,1992

5. J. Goguen, A. Stevens, K. Hobley, and H. Hilberdink. Mechanised Theorem Proving with 2OBJ: A Tutorial Introduction. ftp prg.oxford.ac.uk, 1994.

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

1. Proving Positive Almost Sure Termination Under Strategies;Lecture Notes in Computer Science;2006

2. Typed generic traversal with term rewriting strategies;The Journal of Logic and Algebraic Programming;2003-01

3. Rewriting logic: roadmap and bibliography;Theoretical Computer Science;2002-08

4. A Survey of Rewriting Strategies in Program Transformation Systems;Electronic Notes in Theoretical Computer Science;2001-12

5. Generic type-preserving traversal strategies;Electronic Notes in Theoretical Computer Science;2001-12