Pierre-Etienne Moreau

61 papers A 1B 4C 5Misc 1Journal 12Unranked 34

Year	Rank	Type	Title / Venue / Authors
2023	Misc	`conf`	Generic Encodings and Static Analysis of Constructor Rewriting Systems. SYNASC Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
2021	C	`conf`	Static analysis of pattern-free properties. PPDP Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
2020	C	`conf`	Pattern Eliminating Transformations. LOPSTR Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
2019	—	`conf`	A Mission Definition, Verification and Validation Architecture. FM Workshops (1) Louis Viard, Laurent Ciarletta, Pierre-Etienne Moreau
2019	C	`conf`	Generic Encodings of Constructor Rewriting Systems. PPDP Horatiu Cirstea, Pierre-Etienne Moreau
2019	J	`jnl`	Generic Encodings of Constructor Rewriting Systems. CoRR Horatiu Cirstea, Pierre-Etienne Moreau
2017	J	`jnl`	Faithful (meta-)encodings of programmable strategies into term rewriting systems. CoRR Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2017	J	`jnl`	Faithful (meta-)encodings of programmable strategies into term rewriting systems. Log. Methods Comput. Sci. Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2015	—	`conf`	A faithful encoding of programmable strategies into term rewriting systems. RTA Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2015	J	`jnl`	Chronique - Défis 2015. Tech. Sci. Informatiques Philippe Collet, Lydie du Bousquet, Laurence Duchien, Pierre-Etienne Moreau
2014	J	`jnl`	Effective strategic programming for Java developers. Softw. Pract. Exp. Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
2012	B	`conf`	Island Grammar-Based Parsing Using GLL and Tom. SLE Ali Afroozeh, Jean-Christophe Bach, Mark van den Brand, Adrian Johnstone, Maarten Manders, Pierre-Etienne Moreau, Elizabeth Scott
2012	—	`conf`	Model transformations with Tom. LDTA Jean-Christophe Bach, Xavier Crégut, Pierre-Etienne Moreau, Marc Pantel
2010	J	`jnl`	Anti-patterns for rule-based languages. J. Symb. Comput. Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
2010	—	`conf`	Preface. LDTA Claus Brabrand, Pierre-Etienne Moreau
2010	—	`ed.`	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 LDTA Claus Brabrand, Pierre-Etienne Moreau
2010	—	`conf`	The Third Rewrite Engines Competition. WRLA 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
2009	—	`conf`	A Type System for Tom RULE Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares
2009	—	`conf`	TomML: A Rule Language for Structured Data. RuleML Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
2008	C	`conf`	Anti-pattern Matching Modulo. LATA Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
2008	—	`book`	Programmation et confiance. (Programming and Confidence). Pierre-Etienne Moreau
2008	—	`conf`	Rewrite Based Specification of Access Control Policies. SecReT@LICS/CSF Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira
2008	B	`conf`	Software Quality Improvement Via Pattern Matching. FASE Radu Kopetz, Pierre-Etienne Moreau
2008	—	`conf`	Term-Graph Rewriting Via Explicit Paths. RTA Emilie Balland, Pierre-Etienne Moreau
2008	—	`conf`	The Second Rewrite Engines Competition. WRLA 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
2008	—	`conf`	Towards an Efficient Implementation of Tree Automata Completion. AMAST Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
2007	A	`conf`	Anti-pattern Matching. ESOP Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau
2007	—	`conf`	Bytecode Rewriting in Tom. Bytecode@ETAPS Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
2007	—	`conf`	Rewriting Strategies in Java. RULE@RDP Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
2007	—	`conf`	Rules and Strategies in Java. WRS@RDP Pierre-Etienne Moreau, Antoine Reilles
2007	—	`conf`	Tom: Piggybacking Rewriting on Java. RTA Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
2006	—	`conf`	A C++ Refactoring Browser and Method Extraction. SET Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
2006	B	`conf`	A Simple Generic Library for C. ICSR Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
2006	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
2006	—	`conf`	Formal Islands. AMAST Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
2006	—	`conf`	Formal Validation of Pattern Matching code. Trustworthy Software Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
2006	J	`jnl`	Optimizing Pattern Matching Compilation by Program Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Emilie Balland, Pierre-Etienne Moreau
2005	—	`conf`	A collection of C, C++ and Java code understanding and refactoring plugins. ICSM (Industrial and Tool Volume) Marian Vittek, Peter Borovanský, Pierre-Etienne Moreau
2005	C	`conf`	Formal validation of pattern matching code. PPDP Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
2005	J	`jnl`	Generator of efficient strongly typed abstract syntax trees in Java. IEE Proc. Softw. Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju
2004	—	`conf`	An Integrated Development Environment for Pattern Matching Programming. eTX Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles
2004	J	`jnl`	GC J. Log. Algebraic Methods Program. Pierre-Etienne Moreau, Olivier Zendra
2004	—	`conf`	Rule-based Programming in Java For Protocol Verification. WRLA Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
2003	—	`ed.`	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 RULE Jean-Louis Giavitto, Pierre-Etienne Moreau
2003	B	`conf`	A Pattern Matching Compiler for Multiple Target Languages. CC Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
2003	—	`conf`	Environments for Term Rewriting Engines for Free! RTA Mark van den Brand, Pierre-Etienne Moreau, Jurgen J. Vinju
2003	—	`conf`	Preface. RULE@RDP Jean-Louis Giavitto, Pierre-Etienne Moreau
2002	J	`jnl`	ELAN from a rewriting logic point of view. Theor. Comput. Sci. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
2002	—	`conf`	The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. LDTA@ETAPS Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
2001	—	`conf`	Pattern-Matching Compiler. LDTA@ETAPS Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
2001	J	`jnl`	Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. J. Funct. Program. Hélène Kirchner, Pierre-Etienne Moreau
2000	—	`conf`	REM (Reduce Elan Machine): Core of the New ELAN Compiler. RTA Pierre-Etienne Moreau
1999	—	`—`	Compilation de règles de réécriture et de stratégies non-déterministes. Pierre-Etienne Moreau
1998	—	`conf`	A Choice-Point Library for Backtrack Programming. Implementation Technology for Programming Languages based on Logic Pierre-Etienne Moreau
1998	—	`conf`	A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP Pierre-Etienne Moreau, Hélène Kirchner
1998	—	`conf`	An overview of ELAN. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
1998	—	`conf`	Handling ELAN rewrite programs via an exchange format. WRLA Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
1998	—	`conf`	Non-deterministic Computations in ELAN. WADT Hélène Kirchner, Pierre-Etienne Moreau
1996	—	`conf`	A reflective extension of ELAN. WRLA Hélène Kirchner, Pierre-Etienne Moreau
1996	—	`conf`	ELAN: A logical framework based on computational systems. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
1995	—	`conf`	Prototyping Completion with Constraints Using Computational Systems. RTA Hélène Kirchner, Pierre-Etienne Moreau