mpri-mellies-cours-intro

Master Parisien de Recherche en InformatiqueModele` des langages de programmation´Domaines, Categories, Jeux(Cours 2.2)Paul-Andre´ Mellies`www.pps.jussieu.fr/smellies/master.html1Modeles` des langages de programmation´Domaines, categories, jeuxIntroduction au cours2La semantique´ denotationnelle´ (1)´ ´Etude mathematique des langages de programmation et de leur schema de compilation.´ ´Des langages fonctionnels ou imperatifs, fondes sur un noyau de-calcul:PCF Algol ML OCAML JAVA´-calcul etats exceptions modules concurrence´ ´ ´ordre superieur references objets synchronisationtypage threads´recursion3´ ´La semantique denotationnelle (2)´ ´Son objectif: une mathematique qui decrive un langage de programmation depuis saconception jusqu’a` sa compilation.Syntaxe ev´ oluee´ du programmecompilationSyntaxe el´ ementaire´ des commandes machinesPrealab´ le indispensable a` la ver´ ification complete` d’une implementation.´3OOO/O///Syntaxe ou semantique?´Tenir les langages de programmation par les deux bouts:— les manipulations syntaxiques,ˆ `— la signification qu’on prete a ces manipulations.´Ainsi qu’en topologie algebrique, on construit des ensembles simpliciaux (syntaxe)´ ´dont on etablit le genre (semantique)...ba a =) un toreb... mais cette fois sur le langage et sur le raisonnement !4Syntaxe5Church 1935: invention syntaxique du-calculLe-calcul est le calcul syntaxique ou formel des fonctions.Les expressions du-calcul ...