Prénom Nom Formal Semantics Rolf Ingold Department of Informatics University of Fribourg > Formal Semantics [SP08]
© Prof. Rolf Ingold Organization So called Kernel Course within the curriculum MSc in Computer Science (4th year) Ex cathedra presentation : Wednesday 9: :00 at Pérolles-2, E130 by Rolf Ingold, Pérolles-2, B421 Exercise : Wednesday 11: :00 at Pérolles-2, E130 by Catherine Pugin, Pérolles-2, B408
© 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
© Prof. Rolf Ingold Références Bertrand Meyer. Introduction to the Theory of Programming Languages, Prentice Hall, Bertrand Meyer. Introduction à la théorie des langages de programmation, InterEditions, Les deux livres étant épuisés, des photocopies (en anglais) seront distribuées. Les transparents (en anglais) du cours seront également accessibles en ligne.
© 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