Types for REWERSE reasoning and query languages I3-D4 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2005

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.
Fichier principal
Vignette du fichier
2005-deliverable-rewerse-i3-d4.pdf (709.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01149625 , version 1 (13-05-2015)

Licence

Attribution - NonCommercial - ShareAlike

Identifiers

  • HAL Id : hal-01149625 , version 1

Cite

Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 2005, 71p. ⟨hal-01149625⟩
642 View
105 Download

Share

Gmail Facebook Twitter LinkedIn More