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.
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
@deliverable{REWERSE-DEL-2006-I3-D6,
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-DEL-2006-I3-D6}
}