Essai de formalisation de la description des compilateurs : application à Algol 60 / Raymond Khalil

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

ALGOL (langage de programmation)

Compilation (informatique)

Université de Nancy I (1970-2012) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : "Le but de ce travail est de donner une description formelle simple d'un compilateur. La compilation peut être conçue comme une suite de transformations : d'abord celle d'une chaîne de caractère en une ramification, ensuite un certain nombre de transformations de ramifications, enfin la transformation d'une ramification en une chaîne. Dans la pratique, ces transformations sont souvent mêlées. La recherche des qualités de généralité, clarté et simplicité pour la description et ses applications (l'enseignement de la compilation par exemple) nous les a fait étudier séparément. Nous considérerons sept parties : l'analyse syntaxique [...]; la vérification des conditions de syntaxe du langage source [...]; une phase de transformations préliminaires [...]; une étude lexicographique qui fournit une une table des identificateurs [...]; une phase d'exploitation de cette table [...] ; une étude des résultats intermédiaires [...]; une dernière phase enfin de génération des instructions du programme objet."