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, Computer science - Theory of computing, Specification and verification
68Q55, Computer science, Semantics in the theory of computing
68N15, Computer science - Theory of software, Theory of programming languages
Note de thèse: Thèse de doctorat, informatique, 1987, Nice Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle S
Thèses HAS (Browse shelf(Opens below)) 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 on this title.

to post a comment.