J
Jean-Pierre Jouannaud
Researcher at École Polytechnique
Publications - 120
Citations - 5743
Jean-Pierre Jouannaud is an academic researcher from École Polytechnique. The author has contributed to research in topics: Rewriting & Confluence. The author has an hindex of 32, co-authored 118 publications receiving 5649 citations. Previous affiliations of Jean-Pierre Jouannaud include French Institute for Research in Computer Science and Automation & Centre national de la recherche scientifique.
Papers
More filters
Book
Rewrite systems
TL;DR: In this article, the authors focus on rewrite systems, which are directed equations used to compute by repeatedly replacing sub-terms of a given formula with equal terms until the simplest form possible is obtained.
Proceedings ArticleDOI
Principles of OBJ2
TL;DR: Four clsssrs of design principles for 01352 ate discussed briefly in this inttoduct, and then in mote detail brlnw: motlulntizntion and patnmcteriantion; (2) subsorts; (3) implcmcntnt; and (4) inlrtaction and flexibility.
Journal ArticleDOI
Completion of a set of rules modulo a set of equations
TL;DR: The Church–Rosser property is proved decidable for a very general reduction relation which may take into account the left-linearity of rules for efficiency reasons, under the only assumption of existence of a complete and finite unification algorithm for the underlying equational theory, whose congruence classes are assumed to be finite.
Journal ArticleDOI
Specification and proof in membership equational logic
TL;DR: This paper's rewriting techniques provide semantic foundations for Maude's functional sublanguage, where they have been efficiently implemented.