Publis

Publications HAL de pierre-etienne moreau

2019

Conference papers

titre
Pattern eliminating transformations
auteur
Pierre Lermusiaux, Horatiu Cirstea, Pierre-Etienne Moreau
article
CIEL 2019 – 8ème Conférence en IngénieriE du Logiciel, Jun 2019, Toulouse, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02186325/file/main.pdf BibTex
titre
Monitor-Centric Mission Definition with Sophrosyne
auteur
Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau
article
ICUAS -2019 International Conference on Unmanned Aircraft Systems, Jun 2019, Atlanta, United States
typdoc
Conference papers
Accès au bibtex
BibTex

Preprints, Working Papers, …

titre
Generic Encodings of Constructor Rewriting Systems
auteur
Horatiu Cirstea, Pierre-Etienne Moreau
article
2019
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02130396/file/paperARXIV.pdf BibTex

2017

Journal articles

titre
Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, 13 (4), pp.1-54. ⟨10.23638/LMCS-13(4:16)2017⟩
typdoc
Journal articles
DOI
DOI : 10.23638/LMCS-13(4:16)2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01479030/file/1705.08632v2.pdf BibTex

2015

Journal articles

titre
Défis 2025
auteur
Philippe Collet, Lydie Du Bousquet, Laurence Duchien, Pierre-Etienne Moreau
article
Techniques et sciences informatique (TSI), 2015, 34 (3), pp.311-324. ⟨10.3166/TSI.34.293-306⟩
typdoc
Journal articles
DOI
DOI : 10.3166/TSI.34.293-306
Accès au bibtex
BibTex

Conference papers

titre
A faithful encoding of programmable strategies into term rewriting systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩
typdoc
Conference papers
DOI
DOI : 10.4230/LIPIcs.RTA.2015.74
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01168956/file/10.pdf BibTex

Preprints, Working Papers, …

titre
A Java Framework for Test Data Generation
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Emilie Balland
article
2015
typdoc
Preprints, Working Papers, …
Accès au bibtex
BibTex
titre
Bringing Strategic Rewriting into the Mainstream
auteur
Emilie Balland, Horatiu Cirstea, Pierre-Etienne Moreau
article
2015
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01128523/file/submission.pdf BibTex
titre
A faithful encoding of programmable strategies into term rewriting systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
2015
typdoc
Preprints, Working Papers, …
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01119941/file/paper.pdf BibTex

2014

Journal articles

titre
Effective Strategic Programming for Java Developers
auteur
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
article
International Journal on Software – Practice and Experience, 2014, Software: Practice and Experience, 44 (2), pp.34. ⟨10.1002/spe.2159⟩
typdoc
Journal articles
DOI
DOI : 10.1002/spe.2159
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01265319/file/final.pdf BibTex

2012

Conference papers

titre
Island Grammar-based Parsing using GLL and Tom
auteur
Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott
article
SLE 2012 – 5th International Conference on Software Language Engineering, Sep 2012, Dresden, Germany. pp.224-243, ⟨10.1007/978-3-642-36089-3_13⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-36089-3_13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722878/file/camera_ready_version.pdf BibTex
titre
Tom-based tools to transform EMF models in avionics context
auteur
Jean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel
article
ITSLE – Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730738/file/final_version.pdf BibTex
titre
Model Transformations with Tom
auteur
Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
article
LDTA – 12th Workshop on Language Descriptions, Tools and Applications – 2012, Mar 2012, Tallinn, Estonia. pp.16
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646350/file/camera_ready_version-without_final_copyright.pdf BibTex

2011

Reports

titre
A constraint language for algebraic term based on rewriting theory
auteur
François Prugniel, Pierre-Etienne Moreau, Horatiu Cirstea
article
[Research Report] 2011, pp.8
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646343/file/paper.pdf BibTex

2010

Journal articles

titre
Anti-patterns for Rule-based Languages
auteur
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
article
Journal of Symbolic Computation, Elsevier, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
typdoc
Journal articles
DOI
DOI : 10.1016/j.jsc.2010.01.007
Accès au bibtex
BibTex

Conference papers

titre
The Third Rewrite Engines Competition
auteur
Francisco Durán, Manuel Roldan, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C.L. Kats, Pierre-Etienne Moreau, Eelco Visser
article
8th International Workshop on Rewriting Logic and its Applications – WRLA 2010, Mar 2010, Paphos, Cyprus. pp.243-261, ⟨10.1007/978-3-642-16310-4_16⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-642-16310-4_16
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications – LDTA 2010, Paphos, Cyprus, March 28-29, 2010 – satellite event of ETAPS
auteur
Claus Brabrand, Pierre-Etienne Moreau
article
Claus Braband and Pierre-Etienne Moreau. France. ACM, 2010, 978-1-4503-0063-6
typdoc
Directions of work or proceedings
Accès au bibtex
BibTex

2009

Conference papers

titre
TomML: A Rule Language For Structured Data
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
article
International RuleML Symposium on Rule Interchange and Applications – RuleML 2009, Nov 2009, Las Vegas, United States. pp.262-271
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Type System for Tom
auteur
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
article
Proceedings Tenth International Workshop on Rule-Based Programming – RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
typdoc
Conference papers
DOI
DOI : 10.4204/EPTCS.21.5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00426439/file/RULE09-paper.pdf BibTex
titre
Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.
auteur
Tony Bourdier, Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
article
1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. pp.33-40
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Tom Manual
auteur
Jean-Christophe Bach, Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
article
[Technical Report] 2009, pp.155
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00121885/file/manual-2.7.pdf BibTex

2008

Conference papers

titre
Towards an Efficient Implementation of Tree Automata Completion
auteur
Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
article
12th International Conference on Algebraic Methodology and Software Technology – AMAST’08, Jul 2008, Urbana, Illinois, United States. pp.67-82
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00304010/file/finalversion.pdf BibTex
titre
Rewrite Based Specification of Access Control Policies
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
article
3rd International Workshop on Security and Rewriting Techniques – SecReT 2008, Jun 2008, Pittsburgh, United States. pp.37-54
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Term-graph rewriting via explicit paths
auteur
Emilie Balland, Pierre-Etienne Moreau
article
RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. pp.32-47
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00173535/file/longversion.pdf BibTex
titre
Software Quality Improvement via Pattern Matching
auteur
Radu Kopetz, Pierre-Etienne Moreau
article
11th International Conference on Fundamental Approaches to Software Engineering – FASE 2008, Mar 2008, Budapest, Hungary. pp.296-300, ⟨10.1007/978-3-540-78743-3⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-78743-3
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00336703/file/tomPlugin.pdf BibTex
titre
The Second Rewrite Engines Competition
auteur
Emilie Balland, Pierre-Etienne Moreau, Mark van den Brand, Eelco Visser, Francisco Duran, Manuel Roldan, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Ruslan Schevchenko
article
WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, Mar 2008, Budapest, Hungary
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Anti-Pattern Matching Modulo
auteur
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
article
Second International Conference on Language and Automata Theory and Applications – LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-88282-4_26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00337722/file/KirchnerKM-LATA2008.pdf BibTex

Habilitation à diriger des recherches

titre
Programmation et confiance
auteur
Pierre-Etienne Moreau
article
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine – INPL, 2008
typdoc
Habilitation à diriger des recherches
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00337408/file/main.pdf BibTex

2007

Conference papers

titre
Tom: Piggybacking rewriting on java
auteur
Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
article
Conference on Rewriting Techniques and Applications – RTA’07, Jun 2007, Paris/France, France. pp.36-47
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00142045/file/system.pdf BibTex
titre
Rules and Strategies in Java
auteur
Pierre-Etienne Moreau, Antoine Reilles
article
7th International Workshop on Reduction Strategies in Rewriting and Programming – WRS 2007, Jun 2007, Paris, France. pp.71-82
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00185698/file/wrs.pdf BibTex
titre
Rewriting Strategies in Java
auteur
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
article
The Eighth International Workshop on Rule-Based Programming – RBP’07, Jun 2007, Paris, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274919/file/final.pdf BibTex
titre
Bytecode rewriting in Tom
auteur
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
article
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation – BYTECODE 07, Mar 2007, Braga, Portugal. pp.19-33
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00129513/file/bytecode.pdf BibTex
titre
Anti-Pattern Matching
auteur
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
article
16th European Symposium on Programming – ESOP’07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩
typdoc
Conference papers
DOI
DOI : 10.1007/978-3-540-71316-6_9
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00129419/file/antiPatternsEsop2007.pdf BibTex
titre
Anti-Pattern Matching Modulo
auteur
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
article
21th International Workshop on Unification – UNIF’07, 2007, Paris, France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00176055/file/antiPatternsModulo.pdf BibTex

Reports

titre
Anti-Pattern Matching Modulo
auteur
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
article
[Research Report] 2007, pp.21
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00129421/file/apModulo.pdf BibTex

2006

Conference papers

titre
Optimizing pattern matching compilation by program transformation
auteur
Emilie Balland, Pierre-Etienne Moreau
article
3rd Workshop on Software Evolution through Transformations SeTra 2006, Sep 2006, Natal, Rio Grande do Norte, Brazil
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000763/file/paper.pdf BibTex
titre
Formal Islands
auteur
Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
article
11th International Conference on Algebraic Methodology and Software Technology – AMAST ’06, Jul 2006, Kuressaare, Estonia. pp.51-65
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001146/file/submitted-paper.pdf BibTex
titre
Modular Formal Islands: Embed theory in your practice
auteur
Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau, Anderson Santana de Oliveira
article
Third Taiwanese-French Conference on Information Technology – TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001186/file/tfit06.pdf BibTex

Directions of work or proceedings

titre
Editorial (special issue on rule based programming)
auteur
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
article
n.a., pp.343–344, 2006, ⟨10.1007/s10990-006-0478-0⟩
typdoc
Directions of work or proceedings
DOI
DOI : 10.1007/s10990-006-0478-0
Accès au bibtex
BibTex

Reports

titre
Optimizing pattern matching compilation by program transformation
auteur
Emilie Balland, Pierre-Etienne Moreau
article
[Technical Report] 2006, pp.19
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001127/file/paper.pdf BibTex

2005

Journal articles

titre
A generator of efficient strongly typed abstract syntax trees in Java
auteur
Mark van den Brand, Pierre-Etienne Moreau, Jurgen Vinju
article
IEE Proceedings – Software Engineering, Institution of Electrical Engineers (IEE), 2005, IEE Proceedings – Software Engineering, 152 (2), pp.70–87
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000700/file/BrandMV-IEE2004.pdf BibTex

Conference papers

titre
Formal Validation of Pattern Matching Code
auteur
Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
article
Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming – PPDP’2005, Jul 2005, Lisbon/Portugal, pp.187–197
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000701/file/KirchnerMR-PPDP2005.pdf BibTex
titre
Implementing Deep Inference in Tom
auteur
Ozan Kahramanogullari, Pierre-Etienne Moreau, Antoine Reilles
article
ICALP Workshop on Structures and Deduction, May 2005, Lisbon/Portugal, pp.158–172
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000698/file/KahramanogullariMR-SD2005.pdf BibTex

2004

Journal articles

titre
GC2: a generational conservative garbage collector for the ATerm library
auteur
Pierre-Etienne Moreau, Olivier Zendra
article
The Journal of Logic and Algebraic Programming, 2004, 59 (1-2), pp.5-34. ⟨10.1016/j.jlap.2003.12.003⟩
typdoc
Journal articles
DOI
DOI : 10.1016/j.jlap.2003.12.003
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02314741/file/article_proof_01_2004.pdf BibTex

Conference papers

titre
An Integrated Development Environment for Pattern Matching Programming
auteur
Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles
article
2nd eclipse Technology eXchange workshop – eTX’2004, Brian Barry and Oege de Moor, Apr 2004, Barcelona, Spain, 16 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Rule based programming in Java for protocol verification
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
article
5th International Workshop on Rewriting Logic and its Applications – WRLA’2004, Narciso Marti-Oliet, 2004, Barcelona, Spain, 18 p
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Production and Rewrite Systems
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Research Report] 2004, pp.23
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00280939/file/psAndRew.pdf BibTex
titre
Production Systems and Rete Algorithm Formalisation
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Research Report] 2004, pp.21
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00280938/file/rete.formalisation.pdf BibTex
titre
Production Systems and Rete Algorithm Formalisation
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Contract] A04-R-546 || cirstea04d, 2004, 26 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099850/file/A04-R-546.pdf BibTex
titre
Production Systems and Rewrite Systems
auteur
Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau
article
[Contract] A04-R-563 || cirstea04f, 2004, 28 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099860/file/A04-R-563.pdf BibTex

2003

Conference papers

titre
Formalisation et évaluation de politiques P3P
auteur
Vincent Cridlig, Olivier Festor, Jacques Guyard, Pierre-Etienne Moreau
article
Colloque Francophone sur l’Ingénierie des Protocoles – CFIP 2003, Oct 2003, Paris, France, 16 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Formal Approach to P3P Privacy Policies Evaluation
auteur
Vincent Cridlig, Olivier Festor, Jacques Guyard, Pierre-Etienne Moreau
article
9th Open European Summer School and IFIP Workshop on Next Generation Networks – EUNICE 2003, Sep 2003, hungary, Budapest, 6 p
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107682/file/A03-R-206.pdf BibTex
titre
Environments for Term Rewriting Engines for Free!
auteur
Mark G. J. van den Brand, Pierre-Etienne Moreau, Jurgen Vinju
article
International Conference on Rewriting Techniques and Applications – RTA’2003, Jun 2003, Valence, Espagne, pp.424-435
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Pattern Matching Compiler for Multiple Target Languages
auteur
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article
12th International Conference on Compiler Construction 2003 – CC’2003, 2003, Varsovie, Pologne, pp.61-76
typdoc
Conference papers
Accès au bibtex
BibTex

2002

Journal articles

titre
ELAN from a rewriting logic point of view
auteur
Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
article
Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
auteur
Mark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
article
Workshop on Language Descriptions, Tools and Applications – LDTA’02, Apr 2002, Grenoble, France, 7 p
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
A Pattern Matching Compiler for Multiple Target Languages
auteur
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article
[Intern report] A02-R-184 || moreau02b, 2002, 16 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099427/file/A02-R-184.pdf BibTex
titre
GC^2: A Generational Conservative Garbage Collector for the ATerm Library
auteur
Pierre-Etienne Moreau, Olivier Zendra
article
[Research Report] RR-4548, INRIA. 2002, pp.28
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072040/file/RR-4548.pdf BibTex

2001

Journal articles

titre
Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
auteur
Hélène Kirchner, Pierre-Etienne Moreau
article
Journal of Functional Programming, Cambridge University Press (CUP), 2001, 11 (3), pp.207-251
typdoc
Journal articles
Accès au bibtex
BibTex

Conference papers

titre
A Pattern-Matching Compiler
auteur
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article
First Workshop on Language Descriptions, Tools and Applications – LDTA’01, Apr 2001, Genova, Italy, 14 p
typdoc
Conference papers
Accès au bibtex
BibTex

2000

Conference papers

titre
REM (Reduce Elan Machine): Core of the New ELAN Compiler
auteur
Pierre-Etienne Moreau
article
International Conference on Rewriting Techniques & Applications – RTA’2000, Richard Kennaway, 2000, Norwich, UK, pp.265-269
typdoc
Conference papers
Accès au bibtex
BibTex

1999

Reports

titre
ELAN from the rewriting logic point of view
auteur
Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
article
[Intern report] 99-R-284 || borovansky99b, 1999, 39 p
typdoc
Reports
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107841/file/99-R-284.pdf BibTex

Theses

titre
Compilation de règles de réécriture et de stratégies non-déterministes
auteur
Pierre-Etienne Moreau
article
Autre [cs.OH]. Université Henri Poincaré – Nancy 1, 1999. Français. ⟨NNT : 1999NAN10121⟩
typdoc
Theses
Accès au bibtex
BibTex

1998

Conference papers

titre
A Compiler for Rewrite Programs in Associative-Commutative Theories
auteur
Pierre-Etienne Moreau, Hélène Kirchner
article
ALP/PLILP: Principles of Declarative Programming, Palamidessi, C. & Glaser, H. & Meinke, K., 1998, Pisa, Italy, pp.230-249
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Non-deterministic computations in ELAN
auteur
Hélène Kirchner, Pierre-Etienne Moreau
article
Recent Developments in Algebraic Development Techniques. 13th International Workshop – WADT’98, Jose Luiz Fiadeiro, 1998, Lisbone, 15 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Handling ELAN Rewrite Programs via an Exchange Format
auteur
Peter Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
article
Second Workshop on Rewriting Logic & its Applications – WRLA’98, 1998, Pont-à-Moussson, France, 18 p
typdoc
Conference papers
Accès au bibtex
BibTex
titre
An Overview of ELAN
auteur
Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
article
Second Workshop on Rewriting Logic and its Applications – WRLA’98, 1998, Pont-à-Mousson, France, 16 p
typdoc
Conference papers
Accès au bibtex
BibTex

Reports

titre
Compiling nondeterministic computations
auteur
Pierre-Etienne Moreau
article
[Intern report] 98-R-005 || moreau98a, 1998, 16 p
typdoc
Reports
Accès au bibtex
BibTex