Normal view MARC view ISBD view

Typage d'un système de modules paramétriques avec partage : une application de l'unification dans les théories équationnelles / Maria Virginia Aponte ; sous la direction de Guy Cousineau

Auteur principal : Aponte, Maria Virginia, AuteurAuteur secondaire : Cousineau, Guy, 1949-, Directeur de thèseAuteur secondaire collectivité : Université Paris Diderot - Paris 7, Etablissement de soutenanceType de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1992Description : 1 vol. (166 p.) ; 30 cmISBN : 2726107249.Bibliographie : Bibliogr. p. 164-166.Sujet MSC : 68N15, Theory of software, Theory of programming languages
68N17, Theory of software, Logic programming
68Q65, Theory of computing, Abstract data types; algebraic specification
68V15, Computer science support for mathematical research and practice, Theorem proving
97-02, Research exposition (monographs, survey articles) pertaining to mathematics education
Note de thèse: Thèse de doctorat , informatique fondamentale, 1992, Paris 7
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 APO (Browse shelf) Available 01298-01

Bibliogr. p. 164-166

Thèse de doctorat informatique fondamentale 1992 Paris 7

ModL est un langage pour la décomposition modulaire de programmes, indépendant de tout langage de base et explicitement typé. Il possède des modules paramétriques, une notion d'inclusion de sous-modules et la possibilité de contraindre des sous-modules à être partagés. ModL est inspiré du langage de modules de SML, qui est un langage fonctionnel de la famille ML. Nous donnons une méthode conceptuellement simple, efficace et précise pour typer ModL. Elle est simple car le codage des notions d'inclusion et de partage repose entièrement sur les théories bien connues d'unification et de polymorphisme. Elle est efficace car les vérifications de cohérence deviennent entièrement locales et ne dépendent que de l'unifiabilité des termes, ce qui permet d'écarter plus rapidement des types incorrects. Elle est enfin très précise car elle permet d'extraire à partir des règles un algorithme de typage complet

There are no comments for this item.

Log in to your account to post a comment.