Types for REWERSE reasoning and query languages I3-D4

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]

Fichier principal

2005-deliverable-rewerse-i3-d4.pdf (709.4 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Luigi Liquori : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01149625

Soumis le : mercredi 13 mai 2015-16:53:20

Dernière modification le : mardi 30 juillet 2024-13:20:42

Archivage à long terme le : mercredi 19 avril 2017-19:04:30

Dates et versions

hal-01149625 , version 1 (13-05-2015)

Licence

Paternité - Pas d'utilisation commerciale - Partage selon les Conditions Initiales

Identifiants

HAL Id : hal-01149625 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LABEXIMU

663 Consultations

145 Téléchargements