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)

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 = {}

Imprint      Privacy Disclaimer