Pierre-Etienne Moreau

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: 224-243

Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010)

Claus Brabrand, Pierre-Etienne Moreau: Preface. LDTA 2010

Claus Brabrand, Pierre-Etienne Moreau (Eds.): 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. ACM 2010, isbn 978-1-4503-0063-6

Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira: Rewrite Based Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 234: 37-54 (2009)

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. Electr. Notes Theor. Comput. Sci. 238(3): 281-291 (2009)

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: TomML: A Rule Language for Structured Data. RuleML 2009: 262-271

Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares: A Type System for Tom. RULE 2009: 51-63

Pierre-Etienne Moreau, Antoine Reilles: Rules and Strategies in Java. Electr. Notes Theor. Comput. Sci. 204: 71-82 (2008)

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles: Rewriting Strategies in Java. Electr. Notes Theor. Comput. Sci. 219: 97-111 (2008)

Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau: Towards an Efficient Implementation of Tree Automata Completion. AMAST 2008: 67-82

Radu Kopetz, Pierre-Etienne Moreau: Software Quality Improvement Via Pattern Matching. FASE 2008: 296-300

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-pattern Matching Modulo. LATA 2008: 275-286

Emilie Balland, Pierre-Etienne Moreau: Term-Graph Rewriting Via Explicit Paths. RTA 2008: 32-47

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles: Bytecode Rewriting in Tom. Electr. Notes Theor. Comput. Sci. 190(1): 19-33 (2007)

Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-pattern Matching. ESOP 2007: 110-124

Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles: Tom: Piggybacking Rewriting on Java. RTA 2007: 36-47

Emilie Balland, Pierre-Etienne Moreau: Optimizing Pattern Matching Compilation by Program Transformation. ECEASST 3 (2006)

Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(4): 343-344 (2006)

Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau: Formal Islands. AMAST 2006: 51-65

Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles: Formal Validation of Pattern Matching code. Trustworthy Software 2006

Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau: A Simple Generic Library for C. ICSR 2006: 423-426

Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau: A C++ Refactoring Browser and Method Extraction. SET 2006: 325-336

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: Rule-based Programming in Java For Protocol Verification. Electr. Notes Theor. Comput. Sci. 117: 209-227 (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: 61-64

Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles: Formal validation of pattern matching code. PPDP 2005: 187-197

Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles: An Integrated Development Environment for Pattern Matching Programming. Electr. Notes Theor. Comput. Sci. 107: 33-49 (2004)

Pierre-Etienne Moreau, Olivier Zendra: GC²: a generational conservative garbage collector for the ATImage library. J. Log. Algebr. Program. 59(1-2): 5-34 (2004)

Jean-Louis Giavitto, Pierre-Etienne Moreau: Preface. Electr. Notes Theor. Comput. Sci. 86(2): 153-154 (2003)

Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: A Pattern Matching Compiler for Multiple Target Languages. CC 2003: 61-76

Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju: Environments for Term Rewriting Engines for Free! RTA 2003: 424-435

Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen: The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. Electr. Notes Theor. Comput. Sci. 65(3): 50-56 (2002)

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau: ELAN from a rewriting logic point of view. Theor. Comput. Sci. 285(2): 155-185 (2002)

Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: Pattern-Matching Compiler. Electr. Notes Theor. Comput. Sci. 44(2): 161-180 (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): 207-251 (2001)

Pierre-Etienne Moreau: REM (Reduce Elan Machine): Core of the New ELAN Compiler. RTA 2000: 265-269

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen: An overview of ELAN. Electr. Notes Theor. Comput. Sci. 15: 55-70 (1998)

Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen: Handling ELAN rewrite programs via an exchange format. Electr. Notes Theor. Comput. Sci. 15: 173 (1998)

Pierre-Etienne Moreau: A Choice-Point Library for Backtrack Programming. Implementation Technology for Programming Languages based on Logic 1998: 16-31

Pierre-Etienne Moreau, Hélène Kirchner: A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP 1998: 230-249

Hélène Kirchner, Pierre-Etienne Moreau: Non-deterministic Computations in ELAN. WADT 1998: 168-182

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek: ELAN: A logical framework based on computational systems. Electr. Notes Theor. Comput. Sci. 4: 35-50 (1996)

Hélène Kirchner, Pierre-Etienne Moreau: A reflective extension of ELAN. Electr. Notes Theor. Comput. Sci. 4: 149-168 (1996)

Hélène Kirchner, Pierre-Etienne Moreau: Prototyping Completion with Constraints Using Computational Systems. RTA 1995: 438-443