REWERSE-DEL-2006-I3-D6

Emmanuel Coquery, Włodzimierz Drabent, François Fages, Claude Kirchner, Anderson Santana de Oliveira, Artur Wilk:
Włodzimierz Drabent (editor):
Prototype typing tools for REWERSE languages.


Complete Text [
.pdf, 335KB]
In: (I3-D6)

Abstract
This deliverable presents some prototype typing tools and meta-tools. We present a pattern matching compiler TOM, which is a suitable device to implement typing tools. Its usage is demonstrated by implementing typing rules for a subset of Xquery. We describe an implementation of a type system for Web query language Xcerpt. We also present an implementation of a type system for the rule and constraint language CHR.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2006-I3-D6

BibTeX:

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

Imprint      Privacy Disclaimer