Environments for term rewriting engines for free!

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2706, Issue , 2003, Pages 424-435

  Van den Brand, Mark ^c   Moreau, Pierre Etienne ^b   Vinju, Jurgen ^a  

^a CWI   (Netherlands)

^b LORIA   (France)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

BASIC BUILDING BLOCK; META-ENVIRONMENT; NEW APPLICATIONS; PROGRAMMING ENVIRONMENT; TERM REWRITING;

ENGINES;

EID: 23144436469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44881-0_30     Document Type: Conference Paper

References (18)

1. J. Bergstra and P. Klint. The discrete time ToolBus – a software coordination architecture. Science of Computer Programming, 31(2-3):205–229, July 1998.
2. S. Blom, W. Fokkink, J. Groote, I. van Langevelde, B. Lisser, and J. van de Pol. μCRL: A toolset for analysing algebraic specifications. In G. Berry, H. Comon, and A. Finkel, editors, CAV 2001, volume 2102 of LNCS, pages 250–254. Springer- Verlag, 2001.
3. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of ELAN. In C. Kirchner and H. Kirchner, editors, WRLA, volume 15 of ENTCS. Elsevier Sciences, 1998.
4. M. v. d. Brand, J. Heering, P. Klint, and P. Olivier: Compiling language definitions: The ASF+SDF compiler. ACM Transactions on Programming Languages and Systems, 24(4):334–368, 2002.
5. M. v. d. Brand, H. d. Jong, P. Klint, and P. Olivier: Efficient Annotated Terms. Software, Practice & Experience, 30:259–291, 2000.
6. M. v. d. Brand, P. Klint, and J. Vinju: Term rewriting with traversal functions. Technical Report SEN-R0121, Centrum voor Wiskunde en Informatica, 2001.
7. M. v. d. Brand, J. Scheerder, J. Vinju, and E. Visser. Disambiguation Filters for Scannerless Generalized LRParsers. In R. N. Horspool, editor, Compiler Construction (CC’02), volume 2304 of LNCS, pages 143–158. Springer-Verlag, 2002.
8. H. Cirstea, C. Kirchner, and L. Liquori. Matching Power. In A. Middeldorp, editor, RTA’01, volume 2051 of LNCS, pages 77–92. Springer-Verlag, 2001.
9. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, First international workshop on rewriting logic, volume 4, Asilomar (California), 1996. ENTCS.
10. J. Cordy, C. Halpern-Hamu, and E. Promislow: TXL: A rapid prototyping system for programming language dialects. Computer Languages, 16(1):97–107, 1991.
11. A. V. Deursen, J. Heering, and P. Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, 1996.
12. J. Heering and P. Klint. Term Rewriting Systems, chapter 15, pages 787–808. Cambridge University Press, 2003.
13. H. d. Jong and P. Olivier: Generation of abstract programming interfaces from syntax definitions. Technical Report SEN-R0212, Centrum voor Wiskunde en Informatica (CWI), Aug. 2002.
14. D. Kapur and H. Zhang. An overview of Rewrite Rule Laboratory (RRL). J. Computer and Mathematics with Applications, 29(2):91–114, 1995.
15. S. Lassen, P. Mosses, and D. Watt. An introduction to AN-2, the proposed new version of Action Notation. In Proc. 3rd International Workshop on Action Semantics, volume NS-00-6 of Notes Series, pages 19–36. BRICS, 2000.
16. P.-E. Moreau, C. Ringeissen, and M. Vittek. A Pattern Matching Compiler for Multiple Target Languages. In G. Hedin, editor, 12th Conference on Compiler Construction, Warsaw(Poland), volume 2622 of LNCS, pages 61–76. Springer- Verlag, May 2003.
17. J. V. D. Pol. JITty: a Rewriter with Strategy Annotations. In S. Tison, editor, Rewriting Techniques and Applications, volume 2378 of LNCS, pages 367–370. Springer-Verlag, 2002.
18. E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, RTA’01, volume 2051 of LNCS, pages 357–361. Springer-Verlag, 2001.