Evaluation paresseuse des filtrages avec priorité application au langage ML / Alain Laville

Auteur: Laville, Alain (1948-) - 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.], 1988Description: 1 vol. (129 p.) ; 30 cm ISBN: 2726105343 ; br. Résumé: L'EVALUATION PARESSEUSE EST UN MECANISME DE PLUS EN PLUS UTILISE PAR LES LANGAGES DE PROGRAMMATION FONCTIONNELS. ON UTILISE UNE METHODE AUTORISANT LES DIVERS CAS D'UNE MEME DEFINITION A ETRE AMBIGUS ET QUE L'ON AJOUTE UNE REGLE DE PRIORITE ENTRE MOTIFS AMBIGUS POUR ASSURER LE DETERMINISME DES CALCULS.Bibliographie: Bibliogr. p. 125-127.Thèse: Thése de doctorat en informatique, soutenue en 1988, organisme : Paris Sujets MSC: 68N15 -- Programming languages Computer science -- Software
68N18 -- Functional programming and lambda calculus Computer science -- Software
Location Call Number Status Date Due
Salle S 09546-01 / Thèses LAV (Browse Shelf) Available

Bibliogr. p. 125-127

Thése de doctorat informatique 1988 Paris

L'EVALUATION PARESSEUSE EST UN MECANISME DE PLUS EN PLUS UTILISE PAR LES LANGAGES DE PROGRAMMATION FONCTIONNELS. ON UTILISE UNE METHODE AUTORISANT LES DIVERS CAS D'UNE MEME DEFINITION A ETRE AMBIGUS ET QUE L'ON AJOUTE UNE REGLE DE PRIORITE ENTRE MOTIFS AMBIGUS POUR ASSURER LE DETERMINISME DES CALCULS

There are no comments for this item.

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