BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Estonia
1 × France
1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × Germany
2 × Hungary
2 × Poland
2 × Portugal
2 × Spain
Collaborated with:
H.Kirchner C.Kirchner C.Ringeissen R.Kopetz P.Borovanský M.Vittek H.Cirstea M.v.d.Brand E.Balland A.Reilles ∅ J.Bach S.Lenglet J.J.Vinju X.Crégut M.Pantel S.Jamoussi P.Brauner F.Durán M.Roldán S.Eker K.T.Kalleberg L.C.L.Kats E.Visser A.Afroozeh A.Johnstone M.Manders E.Scott R.Schevchenko J.R.Cordy L.Engelen M.d.Jonge
Talks about:
rewrit (11) elan (8) pattern (6) match (6) system (5) compil (5) base (4) program (3) environ (3) logic (3)

♂ Person: Pierre-Etienne Moreau

DBLP DBLP: Moreau:Pierre=Etienne

Facilitated 12 volumes:

SLE 2013PrCo
SLE 2012PrCo
LDTA 2010Ed
LDTA 2010PrCh
SLE 2010PrCo
LDTA 2009PrCo
SLE 2009PrCo
SLE 2008PrCo
GTTSE 2005SciCo
LDTA 2003OCo
LDTA 2002PrCo
LDTA 2001PrCo

Contributed to:

RTA 20152015
LDTA 20122012
SLE 20122012
WRLA 20102010
FASE 20082008
LATA 20082008
RTA 20082008
WRLA 20082009
ESOP 20072007
RTA 20072007
ICSM 20052005
PPDP 20052005
WRLA 20042005
CC 20032003
RTA 20032003
LDTA 20022002
LDTA 20012001
RTA 20002000
ALP/PLILP 19981998
WRLA 19981998
ASF+SDF 19971997
WRLA 19961996
WRLA 19962002
RTA 19951995
PPDP 20192019

Wrote 27 papers:

RTA-2015-CirsteaLM #encoding #programmable #term rewriting
A faithful encoding of programmable strategies into term rewriting systems (HC, SL, PEM), pp. 74–88.
LDTA-2012-BachCMP #model transformation
Model transformations with Tom (JCB, XC, PEM, MP), p. 4.
SLE-2012-AfroozehBBJMMS #gll #grammarware #semiparsing #using
Island Grammar-Based Parsing Using GLL and Tom (AA, JCB, MvdB, AJ, MM, PEM, ES), pp. 224–243.
WRLA-2010-DuranRBBBCEEJK #contest
The Third Rewrite Engines Competition (FD, MR, JCB, EB, MvdB, JRC, SE, LE, MdJ, KTK, LCLK, PEM, EV), pp. 243–261.
FASE-2008-KopetzM #pattern matching #quality
Software Quality Improvement Via Pattern Matching (RK, PEM), pp. 296–300.
LATA-2008-KirchnerKM #pattern matching
Anti-pattern Matching Modulo (CK, RK, PEM), pp. 275–286.
RTA-2008-BallandM #graph grammar
Term-Graph Rewriting Via Explicit Paths (EB, PEM), pp. 32–47.
WRLA-2008-DuranRBBEKKMSV09 #contest
The Second Rewrite Engines Competition (FD, MR, EB, MvdB, SE, KTK, LCLK, PEM, RS, EV), pp. 281–291.
ESOP-2007-KirchnerKM #pattern matching
Anti-pattern Matching (CK, RK, PEM), pp. 110–124.
RTA-2007-BallandBKMR #java #named
Tom: Piggybacking Rewriting on Java (EB, PB, RK, PEM, AR), pp. 36–47.
ICSM-IT-2005-VittekBM #c++ #comprehension #java #plugin #refactoring
A collection of C, C++ and Java code understanding and refactoring plugins (MV, PB, PEM), pp. 61–64.
PPDP-2005-KirchnerMR #pattern matching #validation
Formal validation of pattern matching code (CK, PEM, AR), pp. 187–197.
WRLA-2004-CirsteaMR05 #java #programming #protocol #rule-based #verification
Rule-based Programming in Java For Protocol Verification (HC, PEM, AR), pp. 209–227.
CC-2003-MoreauRV #compilation #multi #pattern matching
A Pattern Matching Compiler for Multiple Target Languages (PEM, CR, MV), pp. 61–76.
RTA-2003-BrandMV #exclamation #for free #term rewriting
Environments for Term Rewriting Engines for Free! (MvdB, PEM, JJV), pp. 424–435.
LDTA-2002-BrandMR #asf+sdf #logic
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration (MvdB, PEM, CR), pp. 50–56.
LDTA-2001-MoreauRV #compilation #pattern matching
Pattern-Matching Compiler (PEM, CR, MV), pp. 161–180.
RTA-2000-Moreau #compilation
REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.
ALP-PLILP-1998-MoreauK #commutative #compilation #source code
A Compiler for Rewrite Programs in Associative-Commutative Theories (PEM, HK), pp. 230–249.
WRLA-1998-BorovanskyJMR #source code
Handling ELAN rewrite programs via an exchange format (PB, SJ, PEM, CR), p. 173.
WRLA-1998-BorovanskyKKMR #overview
An overview of ELAN (PB, CK, HK, PEM, CR), pp. 55–70.
ASF+SDF-1997-MoreauK #commutative #compilation #normalisation
Compilation techniques for associative-commutative normalisation (PEM, HK), p. 11.
RWLW-1996-BorovanskyKKMV #framework #logic #named
ELAN: A logical framework based on computational systems (PB, CK, HK, PEM, MV), pp. 35–50.
RWLW-1996-KirchnerM
A reflective extension of ELAN (HK, PEM), pp. 149–168.
WRLA-J-1996-BorovanskyKKM02 #logic #perspective
ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.
RTA-1995-KirchnerM #constraints #prototype #using
Prototyping Completion with Constraints Using Computational Systems (HK, PEM), pp. 438–443.
PPDP-2019-CirsteaM #encoding #term rewriting
Generic Encodings of Constructor Rewriting Systems (HC, PEM), p. 12.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.