- Electronic Notes in Theoretical Computer Science 15 (1998) URL: http://www.elsevier.nl/locate/entcs/volume15.html 18 pages
- GC 2 : A Generational Conservative Garbage Collector for the ATerm Library
- Prototyping completion with constraints using computational systems
- Prototyping completion with constraints using computational systems
- A collection of C, C++ and Java code understanding and refactoring plugins Marian Vittek Peter Borovansky Pierre-Etienne Moreau
- Towards an Efficient Implementation of Tree Automata Completion
- Compilation Techniques for AssociativeCommutative Normalisation
- Compilation of AssociativeCommutative Normalisation with Strategies in ELAN(Full version)
- REM (Reduce Elan Machine): Core of the New ELAN Compiler
- Compilation Techniques for Associative-Commutative Normalisation
- URL: http://www.elsevier.nl/locate/entcs/volume15.html 16 pages An Overview of ELAN1
- REM (Reduce Elan Machine): Core of the New ELAN Compiler
- Under consideration for publication in J. Functional Programming 1 Promoting Rewriting to a Programming
- Non-deterministic computations in ELAN H el ene Kirchner and Pierre-Etienne Moreau
- A Pattern Matching Compiler for Multiple Target Languages
- LDTA'01 Preliminary Version A Pattern-Matching Compiler
- USER MANUAL May 9, 1997
- PROTOTYPING COMPLETION WITH CONSTRAINTS USING COMPUTATIONAL SYSTEMS
- A Compiler for Rewrite Programs in AssociativeCommutative Theories
- Term-graph rewriting via explicit paths Emilie Balland and Pierre-Etienne Moreau
- ByteCode 2007 Bytecode rewriting in Tom
- Electronic Notes in Theoretical Computer Science 4(1996) ELAN: A logical framework based on
- !"#$&%(')0!1$24365879@0BAC00DFEHGI @PQSRUTWVVTX YH`acbed6f!fWghbpii0qq!qsrptu6vtxwy0t!cr)uHi!uW6W!fHtHi!tHf)HvWixw6u!CtH!4rd6fxu 72!!"
- Environments for Term Rewriting Engines Mark van den Brand1,3
- WRLA 2004 Preliminary Version Rule based programming in Java
- Formalisation et valuation de politiques Vincent CRIDLIG --Olivier FESTOR --Jacques GUYARD --Pierre-
- The Second Rewrite Engines Competition Francisco Duran,a
- eclipse Technology eXchange Preliminary Version An Integrated Development Environment
- Anti-Pattern Matching Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
- Electronic Notes in Theoretical Computer Science 5 (1998) to appear A reflective extension of ELAN
- Compiling nondeterministic computations CRIN-CNRS & INRIA-Lorraine
- Compilation of Associative-Commutative Normalisation with Strategies in ELAN(Full version)
- A Pattern Matching Compiler for Multiple Target Languages
- Optimizing Pattern Matching by Program Transformation
- Emilie Balland, Paul Brauner,
- Compilation Techniques for AssociativeCommutative Normalisation
- USER MANUAL May 9, 1997
- A choice-point library for backtrack programming Pierre-Etienne Moreau
- Environments for Term Rewriting Engines Mark van den Brand 1,3 , PierreEtienne Moreau 2 , and Jurgen Vinju 1
- Emilie Balland, Paul Brauner,
- A Pattern-Matching Compiler Pierre-Etienne Moreau, Christophe Ringeissen
- URL: http://www.elsevier.nl/locate/entcs/volume15.html 17 pages Handling ELAN Rewrite Programs
- USER MANUAL January 27, 2000
- Under consideration for publication in J. Functional Programming 1 Promoting Rewriting to a Programming
- A Compiler for Rewrite Programs in Associative-Commutative Theories
- Non-deterministic computations in ELAN Hel`ene Kirchner and Pierre-Etienne Moreau
- A Simple Generic Library for C Marian Vittek1
- Tom: Piggybacking Rewriting on Java Emilie Balland1
- Compiling nondeterministic computations CRINCNRS & INRIALorraine
- WRLA 2004 Preliminary Version Rule based programming in Java
- Electronic Notes in Theoretical Computer Science 4 (1996) ELAN: A logical framework based on
- Software quality improvement via pattern Radu Kopetz and Pierre-Etienne Moreau
- ELAN from a rewriting logic point of view Peter Borovansky
- Emilie Balland, Paul Brauner,
- PROTOTYPING COMPLETION WITH CONSTRAINTS USING COMPUTATIONAL SYSTEMS
- 2 1
- A choice-point library for backtrack programming Pierre-Etienne Moreau
- Electronic Notes in Theoretical Computer Science 5 (1996) to appear A reflective extension of ELAN
- LDTA'02 Preliminary Version The ELAN Environment
