Sémantique Formelle
Semestre d'été 2006
Rolf Ingold
Rolf Ingold
DIVA - Sémantique formelle, R. Ingold
Semestre d'été 06
Ce cours obligatoire au deuxième semestre de Master comprend une partie théorique et une partie pratique. La partie théorique est consacrée aux formalismes de spécification sémantique. La partie pratique est consacrée au développement d'un petit interpréteur pour un mini-langage de programmation.
News
- [15.03.06] - Le premier cours aura lieu le mercredi 22 mars 2006, à 09h00, auditoire C130.
- [29.05.06] - Pour le projet, il faut télécharger le parseur XML, version 2 (série 6) et la classe JDOM2XMLParser mise à jour (série 7) sur la page des séries !
- [06.06.06] - La solution de l'exercice qui consiste à ajouter les tableaux dans GRAAL est disponible sur la page des séries sous correction09.
Encadrement
- Responsable : Prof. Rolf Ingold, DIUF site Pérolles 2, bureau B421, tél 300 84 66;
- Assistante : Catherine Pugin, DIUF, Bd de Pérolles 90, bureau B408, tél: 026 300 92 88;
Informations générales
- Le cours et les exercices ont lieu le mercredi de 09h00 à 12h00 dans l'auditoire C130.
- Le cours est destiné aux étudiants effectuant leur master en informatique à l'Université (cours noyau);
- L'adresse internet du cours: http://diuf.unifr.ch/courses/05-06/sf/.
© All Rights Reserved - DIUF/DIVA
Summer Semester 2006