Transformations automatiques de spécifications sémantiques : application : un vérificateur de types

Automatic transformation of semantic descriptions. Application : an incremental type checker

• Auteur / Autrice : Laurent Hascoët
• Direction : Paul Franchi-Zannettacci
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1987
• Etablissement(s) : Nice

Mots clés

Mots clés contrôlés

Inférence

Sémantique

Résumé

Pour le problème de la vérification de types incrémentale, nous commençons par exposer et justifier certaines contraintes sur le vérificateur de types à traiter. Lorsque ces contraintes sont vérifiées, nous fournissons un système en grande partie automatique qui génère un vérificateur de types incrémental à partir d'un vérificateur de types ordinaire. La méthode employée consiste d'une part à transformer une vérification de types comportant plusieurs passes, montantes et descendantes, sur l'arbre, pour obtenir un mécanisme en une seule passe montante. D'autre part, nous introduisons une notion de ''delta'', par laquelle on s'efforce de ne détecter que les erreurs de type qui sont apparues depuis la dernière vérification