FRENCH

UNE IMPLEMENTATION DE ML EN ML

By ASCANDER SUAREZ; G COUSINEAU

Book information

Publisher
[s.n.]
Year
1993
Language
french
Format
DJVU
Filesize
1 MB (1091252 bytes)
Edition
phd thesis
Pages
186\186
Library
Kolxo3
DPI
600
Time added
2013-04-15 18:00:00

Description

LES LANGAGES DE PROGRAMMATION FONCTIONNELS ONT RECU A LA FOIS L'HERITAGE INFORMATIQUE DES LANGAGES DE PROGRAMMATION ET L'HERITAGE DE LA LOGIQUE MATHEMATIQUE. LE LANGAGE ML, QUI EST L'OBJET DE CE TRAVAIL EST UN LANGAGE FONCTIONNEL AVEC UNE SYNTAXE TRES PROCHE DE CELLE DU LANGAGE MATHEMATIQUE ET POSSEDE UN SYSTEME DE TYPES TRES EVOLUE. CE TRAVAIL PRESENTE LES ALGORITHMES DE TYPAGE ET COMPILATION UTILISES DANS L'IMPLEMENTATION DU LANGAGE CAML. SE PRESENTENT DES EXTENSIONS AU SYSTEME DE TYPES DE ML, DES ALGORITHMES DE COMPILATION BASES SUR LA MACHINE ABSTRAITE CATEGORIQUE CAM ET DES ALGORITHMES DE COMPILATION DE L'APPEL PAR FILTRAGE CONDUISANT A L'OBTENTION DE CODE MACHINE OPTIMAL POUR CETTE STRUCTURE DE CONTROLE DU LANGAGE. Read more...

Similar books