Term rewriting with operator evaluation strategies

Electronic Notes in Theoretical Computer Science

Volumn 15, Issue , 1998, Pages 311-330

  Eker, Steven ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE;

ALGEBRAIC SPECIFICATIONS; EVALUATION STRATEGIES; FUNCTIONAL MODULES; MAUDE SPECIFICATIONS; OPERATOR EVALUATION; SUBGRAPHS; TERM GRAPHS; TERM REWRITING;

SPECIFICATIONS;

EID: 84874254986     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80019-2     Document Type: Conference Paper

References (9)

1. P. Borovansky, C. Kirchner, and H. Kirchner. Strategies and Rewriting in ELAN. Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction, ed. B. Gramlich and H. Kirchner, 1997.
2. M. Clavel, F. Duran, S. Eker, J. Meseguer, and P. Lincoln. An introduction to Maude (beta version). Manuscript, SRI International, March 1998.
3. M. Clavel and J. Meseguer. Reflection and strategies in rewriting logic. Proc. First Intl. Workshop on Rewriting Logic and its Applications, ed. J. Meseguer, Electronic Notes in Theoretical Computer Science, 4, 1996.
4. K. Futatsugi and T. Sawada. Cafe as an extensible specification environment. Proc. of the Kunming International CASE Symposium, Kunming, China, November 1994.
5. K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. pp 52-66, Proc. of the 12th Annual ACM Symposium on Principles of Programming Languages, New Orleans, 1985.
6. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.-P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, March 1992.
7. C. Kirchner, H. Kirchner, and M. Vittek. Designing Constraint Logic Programming Languages using Computational Systems, pp 133-160, Principles and Practice of Constraint Programming: The Newport Papers, ed. V. Saraswat and P. van Hentryck, MIT Press, 1995.
8. J. Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report, pp 331-372, Proc. CONCUR'96, Pisa, Springer LNCS 1119, 1996. (Pubitemid 126117771)
9. A. T. Nakagawa, T. Sawada, K. Futatsugi. CafeOBJ Manual. Technical Report, JAIST/SRA, 1997.