Amélie LEDEIN

Doctorante

Depuis le 1er octobre 2020, je suis en thèse au sein de l'équipe DEDUCTEAM sous la direction de Catherine DUBOIS. Avec Valentin Blot, nous travaillons sur la notion de type inductif, ainsi que sur la sémantique des langages de programmation, notamment à l'aide des outils K et Dedukti.

Enseignement

Projet de programmation OCaml - L3

• Sujet du TP n°1 - OCaml :
  • Exercice 6 - Réalisation d'une calculatrice à l'ancienne : Source et un meilleur Makefile.
  • Exercice 9 - Blooming : Source
• Sujet du Mini-projet n°1 - Fling :
  • Ce mini-projet est à rendre au plus tard le 25 octobre 2020 inclus.
  • Fichiers sources à compléter
    Makefile pour ceux qui ont des problèmes avec le premier.
• Cheatsheets :
  • Vim
  • Emacs
  • Tuareg mode
  • OCaml language
  • OCaml standard libraries
  • Shell
  • Assembleur
  • Registres
• Projet COCass :
  • Les sources du projet sont disponibles ici !
  • L'aide que je vous propose est disponible ici.
  • Vous ne trouvez pas la réponse à votre question ? Cliquez ici !
  • Module Format : un tutoriel et la référence
  • Objectifs à atteindre cette semaine : ex0.c ex1.c ex2.c ex3.c ex4.c ex5.c ex6.c ex7.c ex8.c ex9.c ex10.c ex11.c ex12.c
• Modalités du rendu du projet COCass (au plus tard le 18 janvier 2021 à 8h) Cliquez ici !

Génie Logiciel - M1

• Aller sur la page de David.

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact