Search

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.

DESCRIPTION D'UNE TECHNIQUE DE METACOMPILATION BASEE SUR UN LANGAGE DE DESCRIPTION DE LA SEMANTIQUE DES LANGAGES DE PROGRAMMATION DE TRES HAUT NIVEAU: UNE ALGEBRE SEMANTIQUE D'OPERATEURS. CETTE ALGEBRE EST DEFINIE POUR UN ENSEMBLE DE DOMAINES ET DE LAMBDA-EXPRESSIONS QUI DEFINISSENT SES OPERATEURS. UNE MACHINE ABSTRAITE EST ENSUITE DEFINIE POUR EXECUTER LES OPERATEURS DE L'ALGEBRE. FINALEMENT LE CODE DE LA MACHINE ABSTRAITE EST TRADUIT EN ASSEMBLEUR NATIF DE LA MACHINE HOTE. DES EXEMPLES EN VRAIE GRANDEUR DE LANGAGES METACOMPILES DANS LE SYSTEME DEVELOPPE SONT PROPOSES.

Rédigé par les implémenteurs de Caml, cet ouvrage décrit de manière exhaustive toutes les constructions du langage de programmation Caml et documente complètement le système Caml light, son compilateur le plus répandu actuellement. Avant tout destiné aux utilisateurs déjà familiers de Caml, auxquels il deviendra vite indispensable, il constitue un manuel complet et concis de ce langage qui s'adresse à tous ceux qui écrivent des programmes, qu'ils soient étudiants, enseignants, professionnels ou amateurs.