![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Pierre-Etienne Moreau
Person information
- affiliation: LORIA, Mosel Research Group, Vandœuvre-lès-Nancy, France
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2008
- [b1]Pierre-Etienne Moreau:
Programmation et confiance. (Programming and Confidence). National Polytechnic Institute of Lorraine, Nancy, France, 2008
Journal Articles
- 2017
- [j10]Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau:
Faithful (meta-)encodings of programmable strategies into term rewriting systems. Log. Methods Comput. Sci. 13(4) (2017) - 2015
- [j9]Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau:
Chronique - Défis 2015. Tech. Sci. Informatiques 34(3): 311-324 (2015) - 2014
- [j8]Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles:
Effective strategic programming for Java developers. Softw. Pract. Exp. 44(2): 129-162 (2014) - 2010
- [j7]Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010) - 2006
- [j6]Emilie Balland, Pierre-Etienne Moreau:
Optimizing Pattern Matching Compilation by Program Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006) - [j5]Olivier Danvy
, Andrzej Filinski, Jean-Louis Giavitto
, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott:
Editorial. High. Order Symb. Comput. 19(4): 343-344 (2006) - 2005
- [j4]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): 70-78 (2005) - 2004
- [j3]Pierre-Etienne Moreau, Olivier Zendra
:
GC2: a generational conservative garbage collector for the ATImage library. J. Log. Algebraic Methods Program. 59(1-2): 5-34 (2004) - 2002
- [j2]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
- [j1]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)
Conference and Workshop Papers
- 2023
- [c45]Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Generic Encodings and Static Analysis of Constructor Rewriting Systems. SYNASC 2023: 1-4 - 2021
- [c44]Horatiu Cirstea, Pierre Lermusiaux
, Pierre-Etienne Moreau:
Static analysis of pattern-free properties. PPDP 2021: 9:1-9:13 - 2020
- [c43]Horatiu Cirstea, Pierre Lermusiaux
, Pierre-Etienne Moreau:
Pattern Eliminating Transformations. LOPSTR 2020: 74-92 - 2019
- [c42]Louis Viard
, Laurent Ciarletta, Pierre-Etienne Moreau:
A Mission Definition, Verification and Validation Architecture. FM Workshops (1) 2019: 281-287 - [c41]Horatiu Cirstea, Pierre-Etienne Moreau:
Generic Encodings of Constructor Rewriting Systems. PPDP 2019: 8:1-8:12 - 2015
- [c40]Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau:
A faithful encoding of programmable strategies into term rewriting systems. RTA 2015: 74-88 - 2012
- [c39]Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel:
Model transformations with Tom. LDTA 2012: 4 - [c38]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 - 2010
- [c37]Claus Brabrand, Pierre-Etienne Moreau:
Preface. LDTA 2010 - [c36]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: 243-261 - 2009
- [c35]Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles:
TomML: A Rule Language for Structured Data. RuleML 2009: 262-271 - [c34]Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares:
A Type System for Tom. RULE 2009: 51-63 - 2008
- [c33]Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau:
Towards an Efficient Implementation of Tree Automata Completion. AMAST 2008: 67-82 - [c32]Radu Kopetz, Pierre-Etienne Moreau:
Software Quality Improvement Via Pattern Matching. FASE 2008: 296-300 - [c31]Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-pattern Matching Modulo. LATA 2008: 275-286 - [c30]Emilie Balland, Pierre-Etienne Moreau:
Term-Graph Rewriting Via Explicit Paths. RTA 2008: 32-47 - [c29]Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira:
Rewrite Based Specification of Access Control Policies. SecReT@LICS/CSF 2008: 37-54 - [c28]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: 281-291 - 2007
- [c27]Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-pattern Matching. ESOP 2007: 110-124 - [c26]Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles:
Tom: Piggybacking Rewriting on Java. RTA 2007: 36-47 - [c25]Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles:
Bytecode Rewriting in Tom. Bytecode@ETAPS 2007: 19-33 - [c24]Pierre-Etienne Moreau, Antoine Reilles:
Rules and Strategies in Java. WRS@RDP 2007: 71-82 - [c23]Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles:
Rewriting Strategies in Java. RULE@RDP 2007: 97-111 - 2006
- [c22]Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau:
Formal Islands. AMAST 2006: 51-65 - [c21]Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
Formal Validation of Pattern Matching code. Trustworthy Software 2006 - [c20]Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau:
A Simple Generic Library for C. ICSR 2006: 423-426 - [c19]Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau:
A C++ Refactoring Browser and Method Extraction. SET 2006: 325-336 - 2005
- [c18]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 - [c17]Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
Formal validation of pattern matching code. PPDP 2005: 187-197 - 2004
- [c16]Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles:
An Integrated Development Environment for Pattern Matching Programming. eTX 2004: 33-49 - [c15]Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles:
Rule-based Programming in Java For Protocol Verification. WRLA 2004: 209-227 - 2003
- [c14]Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek:
A Pattern Matching Compiler for Multiple Target Languages. CC 2003: 61-76 - [c13]Mark van den Brand
, Pierre-Etienne Moreau, Jurgen J. Vinju:
Environments for Term Rewriting Engines for Free! RTA 2003: 424-435 - [c12]Jean-Louis Giavitto
, Pierre-Etienne Moreau:
Preface. RULE@RDP 2003: 153-154 - 2002
- [c11]Mark van den Brand
, Pierre-Etienne Moreau, Christophe Ringeissen:
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. LDTA@ETAPS 2002: 50-56 - 2001
- [c10]Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek:
Pattern-Matching Compiler. LDTA@ETAPS 2001: 161-180 - 2000
- [c9]Pierre-Etienne Moreau:
REM (Reduce Elan Machine): Core of the New ELAN Compiler. RTA 2000: 265-269 - 1998
- [c8]Pierre-Etienne Moreau:
A Choice-Point Library for Backtrack Programming. Implementation Technology for Programming Languages based on Logic 1998: 16-31 - [c7]Pierre-Etienne Moreau, Hélène Kirchner:
A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP 1998: 230-249 - [c6]Hélène Kirchner, Pierre-Etienne Moreau:
Non-deterministic Computations in ELAN. WADT 1998: 168-182 - [c5]Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen:
An overview of ELAN. WRLA 1998: 55-70 - [c4]Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen:
Handling ELAN rewrite programs via an exchange format. WRLA 1998: 173 - 1996
- [c3]Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek:
ELAN: A logical framework based on computational systems. WRLA 1996: 35-50 - [c2]Hélène Kirchner, Pierre-Etienne Moreau:
A reflective extension of ELAN. WRLA 1996: 149-168 - 1995
- [c1]Hélène Kirchner, Pierre-Etienne Moreau:
Prototyping Completion with Constraints Using Computational Systems. RTA 1995: 438-443
Editorship
- 2010
- [e2]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, ISBN 978-1-4503-0063-6 [contents] - 2003
- [e1]Jean-Louis Giavitto, Pierre-Etienne Moreau:
4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003. Electronic Notes in Theoretical Computer Science 86(2), Elsevier 2003 [contents]
Informal and Other Publications
- 2019
- [i2]Horatiu Cirstea, Pierre-Etienne Moreau:
Generic Encodings of Constructor Rewriting Systems. CoRR abs/1905.06233 (2019) - 2017
- [i1]Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau:
Faithful (meta-)encodings of programmable strategies into term rewriting systems. CoRR abs/1705.08632 (2017)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint