Pierre-Etienne Moreau

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 8

Top Topics

Pattern Detection

Rewriting Systems

Term Rewriting Systems

Static Analysis

Top Venues

FM Workshops (1)

Tech. Sci. Informatiques

Publications

Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Generic Encodings and Static Analysis of Constructor Rewriting Systems. SYNASC (2023)
Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Static analysis of pattern-free properties. PPDP (2021)
Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Pattern Eliminating Transformations. LOPSTR (2020)
Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau
A Mission Definition, Verification and Validation Architecture. FM Workshops (1) (2019)
Horatiu Cirstea, Pierre-Etienne Moreau
Generic Encodings of Constructor Rewriting Systems. PPDP (2019)
Horatiu Cirstea, Pierre-Etienne Moreau
Generic Encodings of Constructor Rewriting Systems. CoRR (2019)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
Faithful (meta-)encodings of programmable strategies into term rewriting systems. CoRR (2017)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
Faithful (meta-)encodings of programmable strategies into term rewriting systems. Log. Methods Comput. Sci. 13 (4) (2017)
Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau
Chronique - Défis 2015. Tech. Sci. Informatiques 34 (3) (2015)
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
A faithful encoding of programmable strategies into term rewriting systems. RTA (2015)
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
Effective strategic programming for Java developers. Softw. Pract. Exp. 44 (2) (2014)
Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott
Island Grammar-Based Parsing Using GLL and Tom. SLE (2012)
Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
Model transformations with Tom. LDTA (2012)
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
Anti-patterns for rule-based languages. J. Symb. Comput. 45 (5) (2010)
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
The Third Rewrite Engines Competition. WRLA (2010)
Claus Brabrand, Pierre-Etienne Moreau
Preface. LDTA (2010)
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
TomML: A Rule Language for Structured Data. RuleML (2009)
Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
Rewrite Based Specification of Access Control Policies. Electron. Notes Theor. Comput. Sci. 234 (2009)
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
A Type System for Tom RULE (2009)
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
Anti-pattern Matching Modulo. LATA (2008)
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
Rewriting Strategies in Java. Electron. Notes Theor. Comput. Sci. 219 (2008)
Emilie Balland, Pierre-Etienne Moreau
Term-Graph Rewriting Via Explicit Paths. RTA (2008)
Radu Kopetz, Pierre-Etienne Moreau
Software Quality Improvement Via Pattern Matching. FASE (2008)
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
The Second Rewrite Engines Competition. WRLA (2008)
Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
Towards an Efficient Implementation of Tree Automata Completion. AMAST (2008)
Pierre-Etienne Moreau, Antoine Reilles
Rules and Strategies in Java. Electron. Notes Theor. Comput. Sci. 204 (2008)
Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
Tom: Piggybacking Rewriting on Java. RTA (2007)
Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
Anti-pattern Matching. ESOP (2007)
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
Bytecode Rewriting in Tom. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
Editorial. High. Order Symb. Comput. 19 (4) (2006)
Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
A C++ Refactoring Browser and Method Extraction. SET (2006)
Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
A Simple Generic Library for C. ICSR (2006)
Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
Formal Islands. AMAST (2006)
Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
Formal Validation of Pattern Matching code. Trustworthy Software (2006)
Emilie Balland, Pierre-Etienne Moreau
Optimizing Pattern Matching Compilation by Program Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006)
Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
Formal validation of pattern matching code. PPDP (2005)
Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju
Generator of efficient strongly typed abstract syntax trees in Java. IEE Proc. Softw. 152 (2) (2005)
Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
A collection of C, C++ and Java code understanding and refactoring plugins. ICSM (Industrial and Tool Volume) (2005)
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
Rule-based Programming in Java For Protocol Verification. WRLA (2004)
Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles
An Integrated Development Environment for Pattern Matching Programming. Electron. Notes Theor. Comput. Sci. 107 (2004)
Pierre-Etienne Moreau, Olivier Zendra
: a generational conservative garbage collector for the ATImage library. J. Log. Algebraic Methods Program. 59 (1-2) (2004)
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
A Pattern Matching Compiler for Multiple Target Languages. CC (2003)
Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju
Environments for Term Rewriting Engines for Free! RTA (2003)
Jean-Louis Giavitto, Pierre-Etienne Moreau
Preface. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
ELAN from a rewriting logic point of view. Theor. Comput. Sci. 285 (2) (2002)
Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. Electron. Notes Theor. Comput. Sci. 65 (3) (2002)
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Pattern-Matching Compiler. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)
Hélène Kirchner, Pierre-Etienne Moreau
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. J. Funct. Program. 11 (2) (2001)
Pierre-Etienne Moreau
REM (Reduce Elan Machine): Core of the New ELAN Compiler. RTA (2000)
Pierre-Etienne Moreau, Hélène Kirchner
A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP (1998)
Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
Handling ELAN rewrite programs via an exchange format. WRLA (1998)
Pierre-Etienne Moreau
A Choice-Point Library for Backtrack Programming. Implementation Technology for Programming Languages based on Logic (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
An overview of ELAN. WRLA (1998)
Hélène Kirchner, Pierre-Etienne Moreau
Non-deterministic Computations in ELAN. WADT (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
ELAN: A logical framework based on computational systems. WRLA (1996)
Hélène Kirchner, Pierre-Etienne Moreau
A reflective extension of ELAN. WRLA (1996)
Hélène Kirchner, Pierre-Etienne Moreau
Prototyping Completion with Constraints Using Computational Systems. RTA (1995)