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

Slides:



Advertisements
Présentations similaires
Yassine Lakhnech Prof. UJF Verimag
Advertisements

What is your connection to the REAL network and why is the REAL Network important to your association? ?
L‘école maternelle On y va de 3 ans jusqu’à 5 ans.
Cours de l’OACI sur les Systèmes de Gestion de la Sécurité (SMS)
Les Systèmes de Gestion de Bases de Données (SGBD) df - normalisation.
DATA WAREHOUSES Selection of Views to Materialize in a Data Warehouse Himanshu Gupta Department of Computer Science Stanford University Bernigaud Sébastien.
Les Systèmes de Gestion de Bases de Données (SGBD) PL-SQL.
UML - Présentation.
Les méthodes formelles en ingénierie des connaissances Damien Lhomme-Desages Jérémie Barlet.
Chapitre 0 INF6001 Ingénierie des protocoles de communication
Bases de l’Intelligence Artificielle Distribuée
Introduction à l’algorithmique
INFORMATIQUE (INFO-H-100)
Chapitre 1 Les Études. Bosser (verbe) To study hard Jai bosse beaucoup parce que jai séché la cour avant lexamen!
Initiation à la conception de systèmes d'information
IFT313 Introduction aux langages formels
Le -calcul : sémantiques, information et points fixes
CSI 3520 Concepts des langages de programmation
Chapitre 2 La description du langage
Partie II Sémantique.
Séance d’introduction
Communication scientifique
"Man Machine Interaction" MEMODULES as tangible shortcuts to multimedia information Omar ABOU KHALED, Rolf INGOLD, Denis LALANNE.
3.2 Circuits logiques de base
Programmation non procédurale Le projet ECOLE 2000
PHP 2° PARTIE : FONCTIONS ET FORMULAIRE

Evaluation Orale You’re going to record a 2 minute orale presentation.
Présentation du stage Laïka Moussa. 19/9/2003Présentation du stage2 Plan Présentation du cadre du stage Sujet du stage Démarche adoptée.
Transformation de modèles Kick Off Motor Jean Marc Jézéquel & Didier Vojtisek La vision Triskell : Umlaut NG.
Grandeurs radiométriques & Coefficients d’Interaction
IB Language B French and German
Programmation procédurale preuves D. Preuves Preuves sur les R-algorithmes. Règle de l'appel (Hoare). Exemple Preuves sur les B-algorithmes (Floyd) Automatisation.
Rédaction des références bibliographiques
Quoi de neuf en programmation Quoi de neuf en programmation 1986.
Apprentissage des langues vivantes en 1ère année de BAC Un exemple de dispositif didactique: le site « Writing Skills » (BAC1 LLM – Philosophie et Lettres)
IFT 785 Approches Orientée Objets Plan de cours. Information générale Professeur : – Sylvain Giroux –
Objectifs Today we will work on:  Days of the week  Months of the year  Exchanging simple spoken and written information in French Activité  Completez.
Algorithmique : Introduction
Programmation fonctionnelle Preuve
Bien Dit I Chapitre 1, Vocabulaire 2 Part 1 Dans la salle de classe Created by: Dimick.
Session d’information – Anthropologie 320 Bibliothèque Saint-Jean octobre 2004 octobre 2004 Ethnologie de la religion Projet et mini-conférence.
John Backus Une présentation de Myriam Bloch et Matthieu Faou
L'usage des TIC rend-il le cours plus motivant?
Soutenance du mémoire de synthèse
CSI 3525, Survol, page 1 CSI 3525 Concepts des langages de programmation.
Allez viens Leçon 2. Première Étape algebra l’algèbre 4x +2y = 37.
Le 4-7 novembre. Qui est présent? Quelle heure est-il? La feuille pour étudier L’examen La Jéopardie!
Réalisé avec le soutien de Pied de page fixe Pied de page 1 Titre Sous titre.
Unité 4-B. What day (of the week) is it? C’est quel jour?
Tache 1 Construction d’un simulateur. Objectifs Disposer d’un simulateur d’une population présentant un déséquilibre de liaison historique, afin d’évaluer.
21/02/2003DEA DISIC 1 Grid Computing Programming the grid: Distributed Software Components, P2P and Grid Web Services for Scientific Applications Tarak.
System 1 Introduction to Computer Architecture
A WHITE PAPER ON RURALITY Gérard Peltre, president of R.E.D. 11 June 2015.
Formation- (Ex. parler)  Go to the « nous » form of the verb.  Nous parlons.  Take off the –ons and the « nous »  Nous parlons  Add –ant.  parlant.
CSI 3520 Concepts des langages de programmation. Information Enseignante: Nathalie Japkowicz Bureau: SITE 5-029
Once you have completed the template in the language of your choice, please submit it to
Présentation réalisée dans le cadre du cours « Questions approfondies de méthodes didactiques et pédagogiques dans l'enseignement supérieur » par L. Mullens.
Conflict of Interest Declaration I have/had an affiliation (financial or otherwise) with a commercial organization within the past two years Financial.
Le Conditionnel avec les verbes réguliers Sarah Amaya.
Introduction à la Recherche
Proposal in Theme VII: Funding Proposition Theme VII: Financement Catherine Edwards Executive Director 1.
PSYCHOLOGIE DE LA PARENTALITÉ (PSYM2432) PROF. ROSKAM ISABELLE.
module SIE depuis 2011 et IAMD depuis l’an dernier ! Gestion de Masse de Données (GMD) Introduction Adrien Coulet
Connecting with language pupils in the UK
aller = to go je vais nous allons tu vas vous allez il/elle/on va
Wildlife Photographer of the Year 2013.
The consequences of the.
Transcription de la présentation:

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