 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : cel-00373150, version 2 |
| Fiche détaillée |  Récupérer au format |
 |
| Ecole d'ingénieur (2009) 68 pages |
|
|
| Versions disponibles : | v1 (04-04-2009) | v2 (25-06-2009) |
|
|
|
|
| Introduction à l'analyse syntaxique et à la compilation |
|
|
| Roberto M. Amadio 1 |
|
|
| (03/04/2009) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| cel-00373150, version 2 | |
| http://cel.archives-ouvertes.fr/cel-00373150 | |
| oai:cel.archives-ouvertes.fr:cel-00373150 | |
| Contributeur : Roberto Amadio | |
| Soumis le : Jeudi 25 Juin 2009, 10:20:49 | |
| Dernière modification le : Jeudi 25 Juin 2009, 19:29:05 | |
