Types for REWERSE reasoning and query languages I3-D4

Abstract : This report present proposals for a type system for a subset of REWERSE languages. We study two approaches to such a type system, which are based on descriptive and prescriptive typing. As an example we use XML query language Xcerpt.
Type de document :
Autre publication
1 Introduction
2 Descriptive typing for Xcerpt
3 Prescriptive type inference for .. 2005, 71p
Liste complète des métadonnées

https://hal.inria.fr/hal-01149625
Contributeur : Luigi Liquori <>
Soumis le : mercredi 13 mai 2015 - 16:53:20
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : mercredi 19 avril 2017 - 19:04:30

Fichier

2005-deliverable-rewerse-i3-d4...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales 4.0 International License

Identifiants

  • HAL Id : hal-01149625, version 1

Collections

Citation

Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 1 Introduction
2 Descriptive typing for Xcerpt
3 Prescriptive type inference for .. 2005, 71p. 〈hal-01149625〉

Partager

Métriques

Consultations de la notice

811

Téléchargements de fichiers

139