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)

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