Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Satisfiability of constraint specifications on XML documents

Autor
Navarro, M.; Orejas, F.; Pino, E.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
Logic, Rewriting, and Concurrency Festschrift Symposium in Honor of José Meseguer
Any de l'edició
2015
Data de presentació
2015-09-24
Llibre d'actes
Logic, Rewriting, and Concurrency: Essays dedicated to José Meseguer on the occasion of his 65th birthday
Pàgina inicial
539
Pàgina final
561
Editor
Springer
DOI
https://doi.org/10.1007/978-3-319-23165-5_25 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/83966 Obrir en finestra nova
URL
http://dx.doi.org/10.1007/978-3-319-23165-5_25 Obrir en finestra nova
Resum
Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that area with the aim of presenting an approach for the specification of the structure of classes of XML documents and for reasoning about them. More precisely, we specify the structure of documents using sets of constraints that are based on XPath and we present inference rules t...
Citació
Navarro, M., Orejas, F., Pino, E. Satisfiability of constraint specifications on XML documents. A: Logic, Rewriting, and Concurrency Festschrift Symposium in Honor of José Meseguer. "Logic, Rewriting, and Concurrency: Essays dedicated to José Meseguer on the occasion of his 65th birthday". Urbana, Illinois: Springer, 2015, p. 539-561.
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius