Pierre-Etienne Moreau

According to our database, Pierre-Etienne Moreau authored at least 55 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generic Encodings and Static Analysis of Constructor Rewriting Systems.

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

2021

Static analysis of pattern-free properties.

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Pattern Eliminating Transformations.

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Generic Encodings of Constructor Rewriting Systems.

Horatiu Cirstea, Pierre-Etienne Moreau

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A Mission Definition, Verification and Validation Architecture.

Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Faithful (meta-)encodings of programmable strategies into term rewriting systems.

Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau

Log. Methods Comput. Sci., 2017

2015

Chronique - Défis 2015.

Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau

Tech. Sci. Informatiques, 2015

A faithful encoding of programmable strategies into term rewriting systems.

Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2014

Effective strategic programming for Java developers.

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles

Softw. Pract. Exp., 2014

2012

Island Grammar-Based Parsing Using GLL and Tom.

Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Model transformations with Tom.

Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel

Proceedings of the International Workshop on Language Descriptions, 2012

2010

Anti-patterns for rule-based languages.

Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

J. Symb. Comput., 2010

The Third Rewrite Engines Competition.

Francisco Durán, Manuel Roldán, 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

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Preface.

Claus Brabrand, Pierre-Etienne Moreau

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009

A Type System for Tom

Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

TomML: A Rule Language for Structured Data.

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Rule Interchange and Applications, International Symposium, 2009

2008

The Second Rewrite Engines Competition.

Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Rewrite Based Specification of Access Control Policies.

Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Term-Graph Rewriting Via Explicit Paths.

Emilie Balland, Pierre-Etienne Moreau

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Anti-pattern Matching Modulo.

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

Proceedings of the Language and Automata Theory and Applications, 2008

Software Quality Improvement Via Pattern Matching.

Radu Kopetz, Pierre-Etienne Moreau

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Towards an Efficient Implementation of Tree Automata Completion.

Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau

Proceedings of the Algebraic Methodology and Software Technology, 2008

Programmation et confiance. (Programming and Confidence).

Pierre-Etienne Moreau

, 2008

2007

Rules and Strategies in Java.

Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Rewriting Strategies in Java.

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Bytecode Rewriting in Tom.

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Tom: Piggybacking Rewriting on Java.

Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Anti-pattern Matching.

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

Proceedings of the Programming Languages and Systems, 2007

2006

Editorial.

Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott

High. Order Symb. Comput., 2006

Optimizing Pattern Matching Compilation by Program Transformation.

Emilie Balland, Pierre-Etienne Moreau

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

A C++ Refactoring Browser and Method Extraction.

Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

A Simple Generic Library for C.

Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau

Proceedings of the Reuse of Off-the-Shelf Components, 2006

Formal Islands.

Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Generator of efficient strongly typed abstract syntax trees in Java.

Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju

IEE Proc. Softw., 2005

Formal validation of pattern matching code.

Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

A collection of C, C++ and Java code understanding and refactoring plugins.

Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau

Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

2004

GC²: a generational conservative garbage collector for the ATImage library.

Pierre-Etienne Moreau, Olivier Zendra

J. Log. Algebraic Methods Program., 2004

An Integrated Development Environment for Pattern Matching Programming.

Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 2004

Rule-based Programming in Java For Protocol Verification.

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

2003

Preface.

Jean-Louis Giavitto, Pierre-Etienne Moreau

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Environments for Term Rewriting Engines for Free!

Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

A Pattern Matching Compiler for Multiple Target Languages.

Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

ELAN from a rewriting logic point of view.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau

Theor. Comput. Sci., 2002

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.

Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen

Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

2001

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories.

Hélène Kirchner, Pierre-Etienne Moreau

J. Funct. Program., 2001

Pattern-Matching Compiler.

Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek

Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

2000

REM (Reduce Elan Machine): Core of the New ELAN Compiler.

Pierre-Etienne Moreau

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

1998

An overview of ELAN.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Handling ELAN rewrite programs via an exchange format.

Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Non-deterministic Computations in ELAN.

Hélène Kirchner, Pierre-Etienne Moreau

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

A Compiler for Rewrite Programs in Associative-Commutative Theories.

Pierre-Etienne Moreau, Hélène Kirchner

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

A Choice-Point Library for Backtrack Programming.

Pierre-Etienne Moreau

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

1996

A reflective extension of ELAN.

Hélène Kirchner, Pierre-Etienne Moreau

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

ELAN: A logical framework based on computational systems.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1995

Prototyping Completion with Constraints Using Computational Systems.

Hélène Kirchner, Pierre-Etienne Moreau

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995