REWERSE-DEL-2005-I3-D4

Horatiu Cirstea, Emmanuel Coquery, Włodzimierz Drabent, François Fages, Claude Kirchner, Luigi Liquori, Benjamin Wack, Artur Wilk:
Włodzimierz Drabent, Artur Wilk (editors):
Types for REWERSE reasoning and query languages.


Complete Text [
.pdf, 710KB]
In: (I3-D4)

Abstract
This report presents proposals for a type system for a subset ot REWERSE languages. We study two approaches to such a type system, which are based on descriptive and prescriptive typing. As am example rule language we use XML query language Xcerpt.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2005-I3-D4

BibTeX:

@deliverable{REWERSE-DEL-2005-I3-D4,
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2005-I3-D4}
}

Imprint      Privacy Disclaimer