Skip to Main content Skip to Navigation
New interface
Other publications

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 metadata

https://hal.inria.fr/hal-01149625
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Wednesday, May 13, 2015 - 4:53:20 PM
Last modification on : Friday, February 4, 2022 - 3:10:14 AM
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

Collections

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

641

Files downloads

99