Extraction de programmes dans le calcul des constructions / Christine Paulin-Mohring ; sous la direction de Gerard Huet
Type de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1989Description : 1 vol. (228 p.) ; 30 cmISBN : 2726105718.Bibliographie : Bibliogr. p. 226-[229].Sujet MSC : 68N18, Computer science -- Software, Functional programming and lambda calculus68P30, Computer science -- Theory of data, Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.)
68N15, Computer science -- Software, Programming languages
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral thesesNote de thèse: Thèse de doctorat, informatique, 1989, université Paris VIIEn-ligne : Tel
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle S | Thèses PAU (Browse shelf) | Available | 09885-01 |
Bibliogr. p. 226-[229]
Thèse de doctorat informatique 1989 université Paris VII
Cette thèse propose une extension du Calcul des Constructions de Coquand et Huet qui permet l'extraction de programmes certifiés à partir de preuve constructive. Une notion de réalisabilité modifiée est introduite et étudiée. Un codage imprédicatif d'une large classe de définitions inductives est proposé.
There are no comments for this item.