Pierre-Etienne Moreau

Available identifiers

zbMath Open moreau.pierre-etienneMaRDI QIDQ968526

List of research outcomes

Publication	Date of Publication	Type
Pattern eliminating transformations	2022-03-23	Paper
Faithful (meta-)encodings of programmable strategies into term rewriting systems	2017-12-11	Paper
A faithful encoding of programmable strategies into term rewriting systems	2017-07-12	Paper
Rule-based programming in Java for protocol verification	2013-09-20	Paper
Formal validation of pattern matching code	2012-09-28	Paper
The third rewrite engines competition	2010-10-12	Paper
Anti-patterns for rule-based languages	2010-05-05	Paper
Formal Islands	2009-04-28	Paper
Towards an Efficient Implementation of Tree Automata Completion	2009-01-27	Paper
Anti-pattern Matching Modulo	2008-11-20	Paper
Term-Graph Rewriting Via Explicit Paths	2008-08-28	Paper
Anti-pattern Matching	2007-09-04	Paper
GC\(^{2}\): a generational conservative garbage collector for the ATERM library	2004-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4447249	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4417783	2003-07-30	Paper
ELAN from a rewriting logic point of view	2002-08-13	Paper
Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2723907	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4223001	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222991	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222851	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4222857	1998-12-20	Paper

Research outcomes over time

This page was built for person: Pierre-Etienne Moreau