The ELAN environment: A rewriting logic environment based on ASF+SDF technology - System demonstration

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 3, 2002, Pages 50-56

  Van Den Brand, M G J ^a,b   Moreau, P E ^b   Ringeissen, C ^b  

^a CWI   (Netherlands)

^b LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; PARAMETER ESTIMATION; PROGRAM COMPILERS; PROGRAM INTERPRETERS; TREES (MATHEMATICS); USER INTERFACES;

META-ENVIRONMENT; PARSE TREES; SYNTAX TREES; TREE REPOSITORY;

LOGIC PROGRAMMING;

EID: 18944393202     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80426-2     Document Type: Conference Paper

References (14)

1. Bergstra J.A., Klint P. The discrete time ToolBus - A software coordination architecture. Science of Computer Programming. 31:(2-3):July 1998;205-229
2. P. Borovanský, S. Jamoussi, P.-E. Moreau, and Ch. Ringeissen. Handling ELAN Rewrite Programs via an Exchange Format. In Proc. of [9], 1998.
3. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and Ch. Ringeissen. An Overview of ELAN. In Proc. of [9], 1998.
4. M.G.J. van den Brand, A. van Deursen, J. Heering, H.A. de Jong, M. de Jonge, T. Kuipers, P. Klint, P. A. Olivier, J. Scheerder, J.J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-Environment: a Component-Based Language Development Environment. In R. Wilhelm, editor, Compiler Construction (CC'01), volume 2027 of Lecture Notes in Computer Science, pages 365-370. Springer-Verlag, 2001.
5. van den Brand M.G.J., de Jong H.A., Klint P., Olivier P.A. Efficient Annotated Terms. Software, Practice & Experience. 30:(3):2000;259-291
6. van den Brand M.G.J., Ringeissen C. ASF+SDF parsing tools applied to ELAN. Futatsugi Kokichi. Electronic Notes in Theoretical Computer Science. volume 36:2001;Elsevier Science Publishers
7. M.G.J. van den Brand, J. Scheerder, J.J. Vinju, and E. Visser. Disambiguation Filters for Scannerless Generalized LR Parsers. In N. Horspool, editor, Compiler Construction (CC'02), volume ?? of Lecture Notes in Computer Science, pages ??-?? Springer-Verlag, 2002.
8. van Deursen A., Heering J., Klint P. Language Prototyping, volume 5 of AMAST Series in Computing. 1996;World Scientific
9. Kirchner C., Kirchner H. Second Intl. Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, Pont-à-Mousson (France) :1998;Elsevier
10. Kirchner C., Kirchner H., Vittek M. Designing Constraint Logic Programming Languages using Computational Systems. Van Hentenryck P., Saraswat V. Principles and Practice of Constraint Programming. The Newport Papers. 1995;131-158 MIT press
11. Kirchner Hélène, Moreau Pierre-Etienne. Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative theories. Journal of Functional Programming. 11:(2):2001;207-251
12. Meseguer José. Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science. 96:(1):1992;73-155
13. Visser E. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. Middeldorp A. RTA'01 volume 2051 of LNCS. 2001;357-361 Springer-Verlag
14. M. Vittek. A Compiler for Nondeterministic Term Rewriting Systems. In Harald Ganzinger, editor, Proceedings 7th Conference on Rewriting Techniques and Applications, New Brunswick (New Jersey, USA), volume 1103 of Lecture Notes in Computer Science, pages 154-168. Springer-Verlag, 1996.