Cours de Transformation de Programmes (M2 Informatique)
=======================================================

Notes de cours et fichiers fournis du projet associé au cours

Présentation du cours

Voir la présentation lors de la réunion de décembre.

Déroulement

Mercredi 12h45-15h45 en salle 2001. Première séance lundi 8 janvier.

La notation finale sera 65% Projet + 35% Examen.

• Projet : voir PROJET.md.
• Date limite de rendu : 17 mars (23h59). Soutenances : 19 mars
• Examen : 26 mars.

Mailing-list du cours : m2.transfprog@listes.u-paris.fr.
Lien d’inscription si vous ne l’avez pas été automatiquement.

Prérequis logiciel

• sbt (simple build tool)
• scala, pouvant être installé automatiquement par sbt
• java
• jasmin. Le paquet debian/ubuntu s’appelle jasmin-sable.

Votre éditeur favori pour tout cela. Un emacs (me) suffit bien, mais les usines à gaz comme idea ou vscode sont possibles également. Attention néanmoins à bien passer par sbt, pour rester compatible.

Documents

• Séance 1
• Séance 2
• Séance 3
• Séance 4
• Séance 5
• Séance 6
• Séance 7
• Séance 8
• Séance 9

Bibliographie et références

Voir biblio.md