A ToolBox for Conservative XML Schema Evolution and Document Adaptation

Autor: Amavi, Joshua, Chabin, Jacques, Ferrari, Mirian Halfeld, Réty, Pierre

This paper proposes a set of tools to help dealing with XML database evolution. It aims at establishing a multi-system environment where a global integrated system works in harmony with some local original ones, allowing data translation in both dire

Externí odkaz: http://arxiv.org/abs/1406.1423

Basic Narrowing Revisited

Autor: Nutt, Werner, Réty, Pierre, Smolka, Gert

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fd5af27ae8f83f3308aeb3fa9ea34428

Confluence of Prefix-Constrained Rewrite Systems

Autor: Andrianarivelo, Nirina, Réty, Pierre

Publikováno v: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom

Prefix-constrained rewriting is a strict extension of context-sensitive rewriting. We study the confluence of prefix-constrained rewrite systems, which are composed of rules of the form L: l -> r where L is a regular string language that defines the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::05e8d9d1139738e07488c117a566ca0e
https://hal-univ-orleans.archives-ouvertes.fr/hal-01780553

Minimal Extensions of Tree Languages: Application to XML Schema Evolution

Autor: Chabin, Jacques, Halfeld Ferrari Alves, Mirian, Réty, Pierre, Musicante, Martin A.

Publikováno v: [Research Report] RR-2009-06, 2009
Journées informatiques de la région centre (JIRC)
Journées informatiques de la région centre (JIRC), Jan 2010, Blois, France

Rapport de recherche LIFO

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f8dff347432c1980e239f7c289773762
https://hal.inria.fr/inria-00464116

Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.

Autor: Boichut, Yohan, Pelletier, Vivien, Réty, Pierre

Publikováno v: Rewriting Logic & Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers; 2016, p64-81, 18p