Evaluation paresseuse des filtrages avec priorité application au langage ML / Alain Laville ; sous la direction de Gerad Huet
Type de document : ThèseLangue : français.Pays : France.Éditeur : [S.l.] : [s.n.], 1988Description : 1 vol. (129 p.) ; 30 cmISBN : 2726105343.Bibliographie : Bibliogr. p. 125-127.Sujet MSC : 68N15, Programming languages, Computer science -- Software68N18, Functional programming and lambda calculus, Computer science -- SoftwareNote de thèse: Thése de doctorat, informatique, 1988, Paris
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle S | Thèses LAV (Browse shelf) | Available | 09546-01 |
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.