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.
Complete list of metadatas

https://hal.inria.fr/hal-01149625
Contributor : Luigi Liquori <>
Submitted on : Wednesday, May 13, 2015 - 4:53:20 PM
Last modification on : Thursday, February 7, 2019 - 3:44:51 PM
Long-term archiving on : Wednesday, April 19, 2017 - 7:04:30 PM

File

2005-deliverable-rewerse-i3-d4...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - ShareAlike 4.0 International License

Identifiers

  • HAL Id : hal-01149625, version 1

Citation

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⟩

Share

Metrics

Record views

1076

Files downloads

164