Pierre-Etienne Moreau - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Rewrite Based Specification of Access Control PoliciesHoratiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira. ENTCS, 234:37-54, 2009. [doi]
The Second Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Emilie Balland, Mark G. J. van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Shevchenko, Eelco Visser. ENTCS, 238(3):281-291, 2009. [doi]

2008

2007

Anti-pattern MatchingClaude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. ESOP 2007: 110-124 [doi]

2006

2005

2004

An Integrated Development Environment for Pattern Matching ProgrammingJulien Guyon, Pierre-Etienne Moreau, Antoine Reilles. ENTCS, 107:33-49, 2004. [doi]
GC:::2:::: a generational conservative garbage collector for the ATImage libraryPierre-Etienne Moreau, Olivier Zendra. jlp, 59(1-2):5-34, 2004. [doi]

2003

2002

ELAN from a rewriting logic point of viewPeter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. TCS, 285(2):155-185, 2002. [doi]
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System DemonstrationMark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen. ENTCS, 65(3), 2002. [doi]

2001

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theoriesHélène Kirchner, Pierre-Etienne Moreau. JFP, 11(2):207-251, 2001.
Pattern-Matching CompilerPierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek. ENTCS, 44(2), 2001. [doi]

2000

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

1998

1996