Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique
Motivées par de nombreuses applications allant du traitement XML à lavérification d'exécution de programmes, de nombreuses logiques sur les arbresde données et les flux de données ont été développées dans la littérature.Celles-ci offrent divers compromis entre expressivité et complexitéalgorith...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2019SACLN016/document |