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, Computer science - Theory of software, Theory of programming languages68N18, Computer science - Theory of software, Functional programming and lambda calculusNote de thèse: Thése de doctorat, informatique, 1988, Paris Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle S | Thèses LAV (Browse shelf(Opens below)) | 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 on this title.