Publis

Publications HAL de pierre-etienne moreau

2017

Preprints, Working Papers, …

titre
Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems
auteur
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
article
Accepted for publication at LMCS Long version of the corresponding RTA-TLCA 15 paper. 2017
typdoc
Preprints, Working Papers, …
DOI
DOI : 10.2168/LMCS-???
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01479030/file/paper.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. <http://tsi.revuesonline.com/article.jsp?articleId=21482>. <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. <http://onlinelibrary.wiley.com/doi/10.1002/spe.2159/abstract>. <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
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. 2012
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730738/file/final_version.pdf BibTex
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
5th International Conference on Software Language Engineering – SLE 2012, Sep 2012, Dresden, Germany. 2012
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00722878/file/camera_ready_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. ACM, pp.16, 2012
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
Peter Csaba Ölveczky. 8th International Workshop on Rewriting Logic and its Applications – WRLA 2010, Mar 2010, Paphos, Cyprus. Springer-Verlag, 6381, pp.243-261, 2010, Lecture Notes in Computer Science; Rewriting Logic and Its Applications. <http://www.springerlink.com/content/436358m836203763/>. <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. 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, 2009
typdoc
Conference papers
Accès au bibtex
BibTex
titre
A Type System for Tom
auteur
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
article
Ian Mackie and Anamaria Martins Moreira. Proceedings Tenth International Workshop on Rule-Based Programming – RULE 2009, Jun 2009, Brasilia, Brazil. 21, 2010, Rule-Based Programming. <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
S. Mauw and L. van der Torre (eds). 1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. ISBN 2-919940-84-8, pp.33-40, 2009
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
José Meseguer and Grigore Rosu. 12th International Conference on Algebraic Methodology and Software Technology – AMAST’08, Jul 2008, Urbana, Illinois, United States. Springer, 5140, pp.67-82, 2008, Lecture Notes in Computer Science
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. 234, pp.37-54, 2009, Electronic Notes in Theoretical Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Term-graph rewriting via explicit paths
auteur
Emilie Balland, Pierre-Etienne Moreau
article
Andrei Voronkov. RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. Springer, 5117, pp.32-47, 2008, Lecture Notes in Computer Science; RTA
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
J. Fiadeiro and P. Inverardi. 11th International Conference on Fundamental Approaches to Software Engineering – FASE 2008, Mar 2008, Budapest, Hungary. Springer-Verlag, 4961, pp.296-300, 2008, Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering. <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. 2009
typdoc
Conference papers
Accès au bibtex
BibTex
titre
Anti-Pattern Matching Modulo
auteur
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
article
Carlos Mart\’n-Vide and Friedrich Otto and Henning Fernau. Second International Conference on Language and Automata Theory and Applications – LATA 2008, Mar 2008, Tarragone, Italy. Springer-Verlag, 5196, pp.275-286, 2008, Lecture Notes in Computer Science; Language and Automata Theory and Applications. <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. Springer-Verlag, 4533, pp.36-47, 2007, LNCS; Proceedings of the 18th Conference on Rewriting Techniques and Applications
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
Jurgen Giesl. 7th International Workshop on Reduction Strategies in Rewriting and Programming – WRS 2007, Jun 2007, Paris, France. Elsevier, 204, pp.71-82, 2008, Electronic Notes in Theoretical Computer Science; Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)
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. 2007, ENTCS
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
Marieke Huisman and Fausto Spoto. Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation – BYTECODE 07, Mar 2007, Braga, Portugal. ELSEVIER, 190, pp.19-33, 2007, ENTCS; BYTECODE 2007
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
Rocco De Nicola. 16th European Symposium on Programming – ESOP’07, Mar 2007, Braga, Portugal. Springer-Verlag, 4421, pp.110-124, 2007, Lecture Notes in Computer Science. <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
Évelyne Contejean. 21th International Workshop on Unification – UNIF’07, 2007, Paris, France. 2007
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
Reiko Heckel and Jean-Marie Favre and Tom Mens. 3rd Workshop on Software Evolution through Transformations SeTra 2006, Sep 2006, Natal, Rio Grande do Norte, Brazil. EASST, 3, 2006, Electronic Communications of EASST; Software Evolution through Transformations 2006
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
Michael Johnson and Varmo Vene. 11th International Conference on Algebraic Methodology and Software Technology – AMAST ’06, Jul 2006, Kuressaare, Estonia. Springer, 4019, pp.51-65, 2006, Lecture Notes in Computer Science; Algebraic Methodology and Software Technology, 11th International Conference
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, Mar 2006, Nancy/France, 2006
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
Barahone, Pedro and Felty, Amy. Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming – PPDP’2005, Jul 2005, Lisbon/Portugal, ACM, ISBN 1-59593-090-6 (ISBN 1-59593-090-6), pp.187–197, 2005
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
Paola Bruscoli, François Lamarche, and Charles Stewart. ICALP Workshop on Structures and Deduction, May 2005, Lisbon/Portugal, pp.158–172, 2005
typdoc
Conference papers
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000698/file/KahramanogullariMR-SD2005.pdf BibTex

2004

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, Apr 2004, Barcelona, Spain, 16 p, 2004, Electronic Notes in Theoretical Computer Science
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
Narciso Marti-Oliet and Manuel Clavel and Alberto Verdejo. 5th International Workshop on Rewriting Logic and its Applications – WRLA’2004, 2004, Barcelona, Spain, Elsevier, 18 p, 2004, Electronic Notes in Theoretical Computer Science
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, 2003
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, 2003
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
Robert Nieuwenhuis. International Conference on Rewriting Techniques and Applications – RTA’2003, Jun 2003, Valence, Espagne, Springer, 2706, pp.424-435, 2003, Lecture notes in Computer Science
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
Görel Hedin. 12th International Conference on Compiler Construction 2003 – CC’2003, 2003, Varsovie, Pologne, 2622, pp.61-76, 2003, Lecture Notes in Computer Science
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, 65/3 (3), 7 p, 2002, Electronic Notes in Theoretical Computer Science
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
Mark van den Brand and Didier Parigot. First Workshop on Language Descriptions, Tools and Applications – LDTA’01, Apr 2001, Genova, Italy, Elsevier, 44-2, 14 p, 2001, Electronic Notes in Theoretical Computer Science
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
Leo Bachmair. International Conference on Rewriting Techniques & Applications – RTA’2000, 2000, Norwich, UK, Springer-Verlag, 1833, pp.265-269, 2000, Lecture Notes in Computer Science
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

1998

Conference papers

titre
Handling ELAN Rewrite Programs via an Exchange Format
auteur
Peter Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
article
Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic & its Applications – WRLA’98, 1998, Pont-à-Moussson, France, Elsevier Science B. V., 15, 18 p, 1998, Electronic Notes in Theoretical Computer Science
typdoc
Conference papers
Accès au bibtex
BibTex
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, 1998, Pisa, Italy, 1490, pp.230-249, 1998, Lecture Notes in Computer Science
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, 1998, Lisbone, 15 p, 1998
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
Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic and its Applications – WRLA’98, 1998, Pont-à-Mousson, France, Elsevier Science B. V., 15, 16 p, 1998, Electronic Notes in Theoretical Computer Science
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