Le langage clip. Implementation efficace d'un mecanisme de manipulation de l'histoire du calcul

Clip the language. Efficient implementation of a mechanism for manipulating the history of a computation

• Auteur / Autrice : Michel Quaggetto
• Direction : Jean-François Perrot
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1989
• Etablissement(s) : Paris 6

Résumé

Le travail expose dans ce memoire a ete realise dans le cadre du projet clip au litp. Ce projet se propose de developper des outils accroissant la puissance d'expression des langages de haute niveau tout en conservant la proprete et la simplicite du code, d'etudier les relations entre des mecanismes sophistiques et leur implementation efficace, ceci pour favoriser la construction de logiciels de base, e. G. Interpretes, compilateurs, systemes experts et leurs environnements de mise au point. Le langage clip integre un mecanisme de manipulation de l'histoire du calcul. Cette manipulation est realisee grace a des parasites. Il s'agit d'entites definities et attachees a un environnement lexical et susceptibles d'etre executees dans cet environnement. Il integre aussi un noyau objet minimal et une nouvelle structure de donnees (la sequence) a allocation et a duree de vie dynamique. Le but de cette these est de demontrer que les mecanismes de clip sont implementables efficacement