Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
A prototype of a descriptive type system for Xcerpt
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Descriptive typing rules for xcerpt
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
A prototype of a descriptive type system for Xcerpt
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Hi-index | 0.00 |
In previous papers we presented a type system for a substantial fragment of the Web query language Xcerpt. It is a descriptive type system: the typing of a program is an approximation of its semantics. The type system was expressed by means of rules, which could be seen as a comprehensible abstraction of a typing algorithm. That system treats some query terms in a rather simplistic way. As a result the approximations produced for them are rather imprecise. In this paper we provide an improved type system, producing more precise results.