A core language for rewriting

Electronic Notes in Theoretical Computer Science

Volumn 15, Issue , 1998, Pages 422-441

  Visser, Eelco ^a   Benaissa, Zine El Abidine ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE;

CONDITIONAL TERM REWRITING; DEFAULT RULE; EVALUATION STRATEGIES; MATCHING CONDITION; TERM REWRITING; TREE TRANSFORMATION;

CALCULATIONS;

EID: 84874275328     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80027-1     Document Type: Conference Paper

References (14)

1. Franz Baader and Tobias Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
2. Peter Borovansky, Claude Kirchner, and Helene Kirchner. Controlling rewriting by rewriting. In Jose Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar, Pacific Grove, CA, September 1996. Elsevier.
3. Peter Borovansky, Claude Kirchner, and Helene Kirchner. A functional view of rewriting and strategies for a semantics of ELAN. In Masahiko Sato and Yoshihito Toyama, editors, The Third Fuji International Symposium on Functional and Logic Programming, pages 143-167, Kyoto, April 1998. World Scientific.
4. Manuel Clavel, Steven Eker, Patrick Lincoln, and Jose Meseguer. Principles of Maude. In Jose Meseguer, editor, Proceedings of the First International Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science, pages 65-89, Asilomar, Pacific Grove, CA, September 1996. Elsevier. (Pubitemid 40715691)
5. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6, pages 243-320. Elsevier, 1990.
6. A. Van Deursen, J. Heering, and P. Klint, editors. Language Prototyping. An Algebraic Specification Approach, volume 5 of A MA ST Series in Computing. World Scientific, Singapore, September 1996.
7. J. A. Goguen and T. Winkler et. al. Introducing OBJ. Technical Report SRI-CSL-92-03, SRI International Computer Science Laboratory, March 1992.
8. M. J. Gordon, A. J. Milner, and C. P. Wadsworth. Edinburgh LCF. A Mechanised Logic of Computation, volume 78 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1979.
9. J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993.
10. Claude Kirchner, Helene Kirchner, and Jose Meseguer. Operational semantics of OBJ-3. In Proceedings of 15th International Colloquium on Automata, Languages and Programming, volume 317 of Lecture Notes in Computer Science, pages 287-301. Springer-Verlag, 1988.
11. Claude Kirchner, Helene Kirchner, and Marian Vittek. Implementing computational systems with constraints. In P. Kanellakis, J-L. Lassez, and V. Saraswat, editors, Proceedings of the first Workshop on Principles and Practice of Constraint Programming, pages 166-175, Providence R.I., USA, 1993. Brown University.
12. J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, pages 1-116. Oxford University Press, Oxford, England, 1992.
13. Bas Luttik and Eelco Visser. Specification of rewriting strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Electronic Workshops in Computing, Berlin, November 1997. Springer-Verlag.
14. Eelco Visser, Zine-el-Abidine Benaissa, and Andrew Tolmach. Building program optimizers with rewriting strategies. In P. Hudak and Ch. Queinnec, editors, International Conference on Functional Programming (ICFP'98), Baltimore, Maryland, September 1998. ACM.