Normal view MARC view ISBD view

Transformations automatiques de spécifications sémantiques, applications : un vérificateur de types incrémental / par Laurent Hascoët

Auteur principal : Hascoët, Laurent, 1961-, AuteurAuteur secondaire collectivité : Université de Nice, Etablissement de soutenanceType de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1987Description : 1 vol. (178 p.) ; 30 cmISBN : 2726104819.Bibliographie : Bibliogr. p. 174-175.Sujet MSC : 68Q60, Specification and verification (program logics, model checking, etc.), Computer science -- Theory of computing
68Q55, Semantics, Computer science -- Theory of computing
68N15, Programming languages, Computer science -- Software
Note de thèse: Thèse de doctorat, informatique, 1987, Nice
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses HAS (Browse shelf) Available 09524-01

Bibliogr. p. 174-175

Thèse de doctorat informatique 1987 Nice

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

There are no comments for this item.

Log in to your account to post a comment.