Extraction de programmes dans le calcul des constructions / Christine Paulin-Mohring

Auteur: Paulin-Mohring, Christine (1962-) - AuteurAuteur secondaire : Huet, Gérard (1947-) - Directeur de thèseCollectivité secondaire: Université Paris Diderot - Paris 7 - Etablissement de soutenanceType de document: ThèseLangue: françaisPays: FranceÉditeur: [S.l.] : [s.n.], 1989Description: 1 vol. (228 p.) ; 30 cm ISBN: 2726105718 ; br. Résumé: 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é. .Bibliographie: Bibliogr. p. 226-[229].Thèse: Thèse de doctorat en informatique, soutenue en 1989, organisme : université Paris VII Sujets MSC: 68N18 Computer science -- Software -- Functional programming and lambda calculus
68P30 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 theses
En-ligne: Tel
Location Call Number Status Date Due
Salle S 09885-01 / Thèses PAU (Browse Shelf) Available

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.

Log in to your account to post a comment.
Languages: English | Français | |