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