Types for REWERSE reasoning and query languages I3-D4

Horatiu Cirstea (1) , Emmanuel Coquery (2) , Wlodzimierz Drabent (3) , Francois Fages (2) , Claude Kirchner (1, 4) , Luigi Liquori (1) , Benjamin Wack (1) , Artur Wilk (5)

1 PROTHEO - Constraints, automatic deduction and software properties proofs
2 CONTRAINTES - Constraint programming
3 PAN - Polska Akademia Nauk = Polish Academy of Sciences = Académie polonaise des sciences
4 Inria Siège
5 Department of Computer and Information Science - Linköping University

This report present proposals for a type system for a subset of REWERSE languages. We study two approaches to such a type system, which are based on descriptive and prescriptive typing. As an example we use XML query language Xcerpt.

Mots clés: rule based languages; type system; type inference; polymorphic typing; rewrite calculus; Contraints; descriptive typing; prescriptive typing

Domaines: Informatique et langage [cs.CL]; Logique en informatique [cs.LO]

Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 2005, 71p. ⟨hal-01149625⟩