Evaluation paresseuse des filtrages avec priorité application au langage ML / Alain Laville ; sous la direction de Gerad Huet

Auteur principal : Laville, Alain, 1948-, AuteurAuteur secondaire : Huet, Gérard, 1947-, Directeur de thèseAuteur secondaire collectivité : Université Paris Diderot - Paris 7, Etablissement de soutenanceType 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 languages
68N18, Computer science - Theory of software, Functional programming and lambda calculus
Note de thèse: Thése de doctorat, informatique, 1988, Paris Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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.

to post a comment.