Controlling rewriting: Study and implementation of a strategy formalism

Electronic Notes in Theoretical Computer Science

Volumn 15, Issue , 1998, Pages 299-310

  Borovanský, Peter ^a  

^a LORIA   (France)

Author keywords

Compilation; Computational Systems; Control; Partial Evaluation; Programming Language; Rewriting Logic; Strategies

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; CONTROL; XML;

COMPILATION; COMPUTATIONAL SYSTEM; PARTIAL EVALUATION; REWRITING LOGIC; STRATEGIES;

HIGH LEVEL LANGUAGES;

EID: 0009900268     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80018-0     Document Type: Conference Paper

References (12)

1. P. Borovansky. Le controls de la reecriture: etude et implantation d'un formalisme de strategies. These de Doctorat d'Universite, Universite Henri Poincare-Nancy 1, France, 1998. To appear.
2. P. Borovansky and C. Castro. Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN. In C.Kirchner and H.Kirchner, editors, Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, RWLA '98, Pont-d-Mousson (France), volume 15, pages 379-398. Electronic Notes in Theoretical Computer Science, September 1998.
3. P. Borovansky, C. Kirchner, and H. Kirchner. Controlling Rewriting by Rewriting. In J. Meseguer, editor, Proceedings of the 1st International Workshop on Rewriting Logic and its Applications, RWLA '96, Asilomar, Pacific Grove (CA, USA), volume 4. Electronic Notes in Theoretical Computer Science, September 1996.
4. P. Borovansky, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An Overview of ELAN. In C.Kirchner and H.Kirchner, editors, Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, RWLA'98, Pont-d-Mousson (France), volume 15, pages 329-344. Electronic Notes in Theoretical Computer Science, September 1998.
5. P. Borovansky and H. Kirchner. Strategies of ELAN: meta-interpretation and partial evaluation. In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97, Amsterdam (The Nederlands), Workshops in Computing. Springer-Verlag, September 1997.
6. P. Borovansky, C. Ringeissen, and P.-E. Moreau. Handling ELAN Rewrite Programs via an Exchange Format. In C.Kirchner and H.Kirchner, editors, Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, RWLA '98, Pont-d-Mousson (France), volume 15, pages 207-224. Electronic Notes in Theoretical Computer Science, September 1998.
7. M. Clavel. Reflection in General Logics and in Rewriting Logic with Applications to the Maude Language. In C.Kirchner and H.Kirchner, editors, Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, RWLA '98, Pont-d-Mousson (France), volume 15, pages 317-328. Electronic Notes in Theoretical Computer Science, September 1998.
8. M. Clavel. Reflection in general logics, rewriting logic, and Maude. PhD thesis, University of Navarre (Spain), 1998.
9. C. Kirchner, H. Kirchner, and M. Vittek. Designing Constraint Logic Programming Languages using Computational Systems. In P. van Hentenryck and V. Saraswat, editors, Principles and Practice of Constraint Programming. The Newport Papers., chapter 8, pages 131-158. The MIT press, 1995.
10. N. Marti-Oliet and J. Meseguer. Rewriting log Logical and Semantical Framework. Technical report, SRI International, Computer Science Laboratory, Menlo Park (CA, USA), May 1993.
11. E. Visser and Z. Benaissa. A Core Language for Rewriting. In C.Kirchner and H.Kirchner, editors, Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, RWLA'98, Pont-d-Mousson (France), volume 15, pages 25-44. Electronic Notes in Theoretical Computer Science, September 1998.
12. M. Vittek. ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes. These de Doctorat d'Universite, Universite Henri Poincare-Nancy 1, October 1994.