| 2010 | ||
|---|---|---|
| 43 | Claus Brabrand, Pierre-Etienne Moreau: 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 | |
| 42 | Claus Brabrand, Pierre-Etienne Moreau: Preface. LDTA 2010 | |
| 41 | Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010) | |
| 2009 | ||
| 40 | Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares: A Type System for Tom RULE 2009: 51-63 | |
| 39 | Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: TomML: A Rule Language for Structured Data. RuleML 2009: 262-271 | |
| 38 | 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) | |
| 37 | 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) | |
| 2008 | ||
| 36 | Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau: Towards an Efficient Implementation of Tree Automata Completion. AMAST 2008: 67-82 | |
| 35 | Radu Kopetz, Pierre-Etienne Moreau: Software Quality Improvement Via Pattern Matching. FASE 2008: 296-300 | |
| 34 | Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-pattern Matching Modulo. LATA 2008: 275-286 | |
| 33 | Emilie Balland, Pierre-Etienne Moreau: Term-Graph Rewriting Via Explicit Paths. RTA 2008: 32-47 | |
| 32 | Pierre-Etienne Moreau, Antoine Reilles: Rules and Strategies in Java. Electr. Notes Theor. Comput. Sci. 204: 71-82 (2008) | |
| 31 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles: Rewriting Strategies in Java. Electr. Notes Theor. Comput. Sci. 219: 97-111 (2008) | |
| 2007 | ||
| 30 | Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau: Anti-pattern Matching. ESOP 2007: 110-124 | |
| 29 | Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles: Tom: Piggybacking Rewriting on Java. RTA 2007: 36-47 | |
| 28 | Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles: Bytecode Rewriting in Tom. Electr. Notes Theor. Comput. Sci. 190(1): 19-33 (2007) | |
| 2006 | ||
| 27 | Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau: Formal Islands. AMAST 2006: 51-65 | |
| 26 | Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau: A Simple Generic Library for C. ICSR 2006: 423-426 | |
| 25 | Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau: A C++ Refactoring Browser and Method Extraction. SET 2006: 325-336 | |
| 24 | Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles: Formal Validation of Pattern Matching code. Trustworthy Software 2006 | |
| 23 | Emilie Balland, Pierre-Etienne Moreau: Optimizing Pattern Matching Compilation by Program Transformation. ECEASST 3: (2006) | |
| 22 | 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) | |
| 2005 | ||
| 21 | 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 | |
| 20 | Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles: Formal validation of pattern matching code. PPDP 2005: 187-197 | |
| 19 | Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles: Rule-based Programming in Java For Protocol Verification. Electr. Notes Theor. Comput. Sci. 117: 209-227 (2005) | |
| 2004 | ||
| 18 | Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles: An Integrated Development Environment for Pattern Matching Programming. Electr. Notes Theor. Comput. Sci. 107: 33-49 (2004) | |
| 17 | Pierre-Etienne Moreau, Olivier Zendra: GC2: a generational conservative garbage collector for the ATImage library. J. Log. Algebr. Program. 59(1-2): 5-34 (2004) | |
| 2003 | ||
| 16 | Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: A Pattern Matching Compiler for Multiple Target Languages. CC 2003: 61-76 | |
| 15 | Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju: Environments for Term Rewriting Engines for Free! RTA 2003: 424-435 | |
| 14 | Jean-Louis Giavitto, Pierre-Etienne Moreau: Preface. Electr. Notes Theor. Comput. Sci. 86(2): 153-154 (2003) | |
| 2002 | ||
| 13 | 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) | |
| 12 | 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) | |
| 2001 | ||
| 11 | Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: Pattern-Matching Compiler. Electr. Notes Theor. Comput. Sci. 44(2): 161-180 (2001) | |
| 10 | 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) | |
| 2000 | ||
| 9 | Pierre-Etienne Moreau: REM (Reduce Elan Machine): Core of the New ELAN Compiler. RTA 2000: 265-269 | |
| 1998 | ||
| 8 | Pierre-Etienne Moreau: A Choice-Point Library for Backtrack Programming. Implementation Technology for Programming Languages based on Logic 1998: 16-31 | |
| 7 | Pierre-Etienne Moreau, Hélène Kirchner: A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP 1998: 230-249 | |
| 6 | Hélène Kirchner, Pierre-Etienne Moreau: Non-deterministic Computations in ELAN. WADT 1998: 168-182 | |
| 5 | 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) | |
| 4 | 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) | |
| 1996 | ||
| 3 | Hélène Kirchner, Pierre-Etienne Moreau: A reflective extension of ELAN. Electr. Notes Theor. Comput. Sci. 4: 149-168 (1996) | |
| 2 | 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) | |
| 1995 | ||
| 1 | Hélène Kirchner, Pierre-Etienne Moreau: Prototyping Completion with Constraints Using Computational Systems. RTA 1995: 438-443 | |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page