Skip to Main content Skip to Navigation
Lectures

Introduction à l'analyse syntaxique et à la compilation

Résumé : Ces notes de cours sont une introduction aux différentes phases de la compilation des langages de programmation.
Après un survol de ces phases basé sur un petit langage d'expressions arithmétiques, on présente la théorie des grammaires algébriques LL et LR.
On s'intéresse ensuite à l'évaluation et au typage en s'appuyant sur les techniques de la sémantique opérationnelle.
On décline ces techniques dans le cadre de simples langages qui reflètent les styles de programmation impératif, à objets et fonctionnel.
Enfin, on aborde les questions de la conception d'une machine virtuelle, de la gestion de la mémoire et de la traduction du langage source dans le langage d'une machine virtuelle.
Document type :
Lectures
Complete list of metadatas

https://cel.archives-ouvertes.fr/cel-00373150
Contributor : Roberto M. Amadio <>
Submitted on : Thursday, June 25, 2009 - 10:20:49 AM
Last modification on : Saturday, August 29, 2020 - 5:26:03 PM
Long-term archiving on: : Wednesday, September 22, 2010 - 1:23:36 PM

Identifiers

  • HAL Id : cel-00373150, version 2

Collections

Citation

Roberto M. Amadio. Introduction à l'analyse syntaxique et à la compilation. Engineering school. Paris Diderot (Paris 7), 2009, pp.68. ⟨cel-00373150v2⟩

Share

Metrics

Record views

987

Files downloads

13245