Prénom Nom Formal Semantics Rolf Ingold Department of Informatics University of Fribourg > Formal Semantics [SP08]

Présentation au sujet: "Prénom Nom Formal Semantics Rolf Ingold Department of Informatics University of Fribourg > Formal Semantics [SP08]"— Transcription de la présentation:

1 Prénom Nom Formal Semantics Rolf Ingold Department of Informatics University of Fribourg http://moodle.unifr.ch > Formal Semantics [SP08]

2 © Prof. Rolf Ingold Organization  So called Kernel Course within the curriculum MSc in Computer Science (4th year)  Ex cathedra presentation :  Wednesday 9:00 - 11:00 at Pérolles-2, E130  by Rolf Ingold, Pérolles-2, B421  Exercise :  Wednesday 11:00 - 12:00 at Pérolles-2, E130  by Catherine Pugin, Pérolles-2, B408

3 © Prof. Rolf Ingold Contenu du cours  Partie Théorique  Introduction  Syntaxe abstraite  Lambda-calcul  Sémantique dénotationnelle  Récursivité  Sémantique axiomatique  Partie pratique  Implémentation d'un interpréteur pour un langage de transformation  réalisation par groupes de 2 étudiant(e)s  Petits exercices formels

4 © Prof. Rolf Ingold Références  Bertrand Meyer. Introduction to the Theory of Programming Languages, Prentice Hall, 1990.  Bertrand Meyer. Introduction à la théorie des langages de programmation, InterEditions, 1992.  Les deux livres étant épuisés, des photocopies (en anglais) seront distribuées.  Les transparents (en anglais) du cours seront également accessibles en ligne.

5 © Prof. Rolf Ingold Exigences  Exigences minimales (pour pouvoir se présenter à l'examen):  rendre 2/3 des séries sur papier  obtenir un interpréteur opérationnel  sinon, un rapport détaillé sur la conception et l'implémentation