Pierre-Etienne Moreau

Affiliations:
  • LORIA, Mosel Research Group, Vandœuvre-lès-Nancy, France


According to our database1, Pierre-Etienne Moreau authored at least 55 papers between 1995 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Generic Encodings and Static Analysis of Constructor Rewriting Systems.
Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

2021
Static analysis of pattern-free properties.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020
Pattern Eliminating Transformations.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019
Generic Encodings of Constructor Rewriting Systems.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A Mission Definition, Verification and Validation Architecture.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017
Faithful (meta-)encodings of programmable strategies into term rewriting systems.
Log. Methods Comput. Sci., 2017

2015
Chronique - Défis 2015.
Tech. Sci. Informatiques, 2015

A faithful encoding of programmable strategies into term rewriting systems.
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2014
Effective strategic programming for Java developers.
Softw. Pract. Exp., 2014

2012
Island Grammar-Based Parsing Using GLL and Tom.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Model transformations with Tom.
Proceedings of the International Workshop on Language Descriptions, 2012

2010
Anti-patterns for rule-based languages.
J. Symb. Comput., 2010

The Third Rewrite Engines Competition.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Preface.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

2009
A Type System for Tom
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

TomML: A Rule Language for Structured Data.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

2008
The Second Rewrite Engines Competition.
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Rewrite Based Specification of Access Control Policies.
Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

Term-Graph Rewriting Via Explicit Paths.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Anti-pattern Matching Modulo.
Proceedings of the Language and Automata Theory and Applications, 2008

Software Quality Improvement Via Pattern Matching.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

Towards an Efficient Implementation of Tree Automata Completion.
Proceedings of the Algebraic Methodology and Software Technology, 2008

Programmation et confiance. (Programming and Confidence).
, 2008

2007
Rules and Strategies in Java.
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Rewriting Strategies in Java.
Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Bytecode Rewriting in Tom.
Proceedings of the Second Workshop on Bytecode Semantics, 2007

Tom: Piggybacking Rewriting on Java.
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Anti-pattern Matching.
Proceedings of the Programming Languages and Systems, 2007

2006
Editorial.
High. Order Symb. Comput., 2006

Optimizing Pattern Matching Compilation by Program Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

A C++ Refactoring Browser and Method Extraction.
Proceedings of the Software Engineering Techniques: Design for Quality, 2006

A Simple Generic Library for C.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

Formal Islands.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Generator of efficient strongly typed abstract syntax trees in Java.
IEE Proc. Softw., 2005

Formal validation of pattern matching code.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

A collection of C, C++ and Java code understanding and refactoring plugins.
Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

2004
GC<sup>2</sup>: a generational conservative garbage collector for the ATImage library.
J. Log. Algebraic Methods Program., 2004

An Integrated Development Environment for Pattern Matching Programming.
Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 2004

Rule-based Programming in Java For Protocol Verification.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

2003
Preface.
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Environments for Term Rewriting Engines for Free!
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

A Pattern Matching Compiler for Multiple Target Languages.
Proceedings of the Compiler Construction, 12th International Conference, 2003

2002
ELAN from a rewriting logic point of view.
Theor. Comput. Sci., 2002

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

2001
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories.
J. Funct. Program., 2001

Pattern-Matching Compiler.
Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

2000
REM (Reduce Elan Machine): Core of the New ELAN Compiler.
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

1998
An overview of ELAN.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Handling ELAN rewrite programs via an exchange format.
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Non-deterministic Computations in ELAN.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

A Compiler for Rewrite Programs in Associative-Commutative Theories.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

A Choice-Point Library for Backtrack Programming.
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

1996
A reflective extension of ELAN.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

ELAN: A logical framework based on computational systems.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1995
Prototyping Completion with Constraints Using Computational Systems.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995


  Loading...