TP Programmation

Présentation
Organisation
Calendrier et polycopiés des TP
Projet
Liens

Présentation

Le but de ce cours est de comprendre comment les langages de programmation s'articulent autour de la notion de sémantique, et d'illustrer ceci au travers de la réalisation en projet d'un mini-compilateur pour un langage-jouet, vers le langage machine.

Organisation

Cours : Les responsables sont Jean Goubault-Larrecq et Delia Kesner. Le cours a lieu en salle C311 le Vendredi de 13h00 à 17h00.
TP : Les responsables sont Manuel Baclet et Stéphanie Delaune. Les TP ont lieu en salle C411 aux horaires suivants :
- Lundi 15h30-17h00
- Mardi 9h00-10h30
- Vendredi 9h00-10h30
Le premier TP a lieu le Lundi 27 Septembre.

Calendrier et polycopiés

Séance du Lundi 27 Septembre:
Séance du Mardi 28 Septembre:
- Feuille de TP: Plus grand préfixe commun
- Correction
Séance du Vendredi 1 Octobre:
Séance du Lundi 4 Octobre:
Séance du Mardi 5 Octobre:
- TD Assembleur
Séance du Vendredi 8 Octobre:
- Prise en main du lexer et du parser
- Feuille de TP: Formules Booléennes
- Correction

Projet

Voici un compilateur/typeur d'un fragment de Caml écrit en OCaml. Il transforme un programme donné sous forme de fichier texte en assembleur x86 que l'on compile ensuite en exécutable via gcc. L'exécutable est disponible (Executablex86) avec quelques exemples:

La compilation se fait dans un shell en tapant: ./compile prog.ml (il faut eventuellement rendre le fichier exécutable, en tapant chmod +x compile). Les types des expressions sont alors affichés et un fichier prog.ml.s est créé. On compile ensuite celui-ci avec la commande gcc -o prog prog.ml.s Pour les exemples, cat prend deux fichiers en argument et affiche leur concaténation, fib et factorielle prennent un entier en argument et calculent factorielle/ fib de cet entier. Les trois derniers utilisent des fonctions imbriquées et des références (pointeurs).

Liens

TP Programmation

About LSV