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.
Type de document :
Cours
Engineering school. Paris Diderot (Paris 7), 2009, pp.68
Liste complète des métadonnées

https://cel.archives-ouvertes.fr/cel-00373150
Contributeur : Roberto M. Amadio <>
Soumis le : jeudi 25 juin 2009 - 10:20:49
Dernière modification le : jeudi 11 janvier 2018 - 06:17:48
Document(s) archivé(s) le : mercredi 22 septembre 2010 - 13:23:36

Identifiants

  • HAL Id : cel-00373150, version 2

Collections

PPS | USPC

Citation

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

Partager

Métriques

Consultations de la notice

832

Téléchargements de fichiers

9469