Sémantique des langages de programmation - cours M1.1 -- présentation

Daniel Hirschkoff Http://Perso.Ens-Lyon.Fr/Daniel.Hirschkoff

Description

Semantiquedes langages de programmationcours M1.1 – presentationDaniel Hirschko http://perso.ens-lyon.fr/daniel.hirschkoffI application naturelle: les langages arti ciels que sont lesmathematiques, la logique, puis les langages de l’informatiqueI des articulations dont on herite en informatiqueI syntaxe et semantiqueI Gottlob Frege: denotation (Sinn) et sens (Bedeutung)Semantique, originesI deux acceptionsI experimentale: etude de la signi cation dans les languesnaturellesI theorique: etude du sens et du langageI philosophie, et, plus particulierement...I ...logique symbolique et mathematiqueI des articulations dont on herite en informatiqueI syntaxe et semantiqueI Gottlob Frege: denotation (Sinn) et sens (Bedeutung)Semantique, originesI deux acceptionsI experimentale: etude de la signi cation dans les languesnaturellesI theorique: etude du sens et du langageI philosophie, et, plus particulierement...I ...logique symbolique et mathematiqueI application naturelle: les langages arti ciels que sont lesmathematiques, la logique, puis les langages de l’informatiqueSemantique, originesI deux acceptionsI experimentale: etude de la signi cation dans les languesnaturellesI theorique: etude du sens et du langageI philosophie, et, plus particulierement...I ...logique symbolique et mathematiqueI application naturelle: les langages arti ciels que sont lesmathematiques, la logique, puis les langages de ...

Sujets

• informatique

Informations

• Publié par: Musar
• Nombre de lectures: 45
• Langue: Français

Extrait

S´emantique des langages de programmation

coursM1.1–pre´sentation

Daniel Hirschkoff

http://perso.ens-lyon.fr/daniel.hirschkoff

:eelerllageglsnalica I appnatution emh´iqat lent at s m qsleoseutrasicfii gagesdelisleslaniguq,eupeu,salol donsioatulicrtsaed I euqitamrofni’ ntax e I sy tiquormainfntiee´hretnno n(ioatotts)ennSiedeB(sne

S´emantique,origines

)gnutu ´emaeetsue I G ntiq borFtolt´dnege:e

deux acceptions I expe´rimentale:e´tudedelasignificationdansleslangues naturelles th´eorique:e´tudedusensetdulangage I philosophie,et,plusparticuli`erement... . . . logique symbolique et mathematique I ´

I

I

notationrege:d´eessnB(deS(ni)nte

I

I

Se´mantique,origines

deux acceptions I expe´rimentale:e´tudedelasignificationdansleslangues naturelles I th´eorique:e´tudedusensetdulangage I philosophie,et,plusparticulie`rement... I ...logiquesymboliqueetmath´ematique application naturelle: les langages artificiels que sont les mathe´matiques,lalogique,puisleslangagesdel’informatique

tueu)ng ticuesar I d GottlobF antique I exte´sme eu s I nyat rmfoiqatteriinenotnoe´hnitaldsno

I

I

I

S´ ntique, origines ema

deux acceptions ´imentale:´etudedelasignificationdansleslangu I exper es naturelles I th´eorique:´etudedusensetdulangage I philosophie,et,plusparticuli`erement... I ...logiquesymboliqueetmathe´matique application naturelle: les langages artificiels que sont les mathe´matiques,lalogique,puisleslangagesdel’informatique

desarticulationsdontonhe´riteeninformatique taxe t ´emantique I syn e s I Gottlob Frege: d´enotation (Sinn) et sens (Bedeutung)

I

I

I

S´emantique,origines

deux acceptions I expe´rimentale:e´tudedelasignificationdansleslangues naturelles I the´orique:´etudedusensetdulangage I philosophie,et,plusparticulie`rement... I . . . logique symbolique et mathematique ´ application naturelle: les langages artificiels que sont les mathe´matiques,lalogique,puisleslangagesdel’informatique

desarticulationsdontonhe´riteeninformatique I syntaxe et s´emantique I Gottlob Frege: d´enotation (Sinn) et sens (Bedeutung) dans “Hesperus(1e`e´toilequiapparaˆıtlesoir)=Phosphorus (derni`erelematin)” , il y a I un fait sur le monde (en ce sens, H = P ´equivaut`a H = H ) I un fait sur le langage (les“modesdepre´sentation”delad´enotation)

se´mantique

Langues, langages, calculs

I sens ‘usuel’: langue naturelle, les mots et leur(s) sens, signification(s) I langages (langues artificielles) que disent les programmes? (les types, les formules, . . . ) comparer les langages, raisonner sur les programmes I des langages aux calculs ( λ -calcul, π -calcul,. . . ): quels ´nismesessentielssont`alabasedeslgesd meca anga e programmation? que disent les langages?

I ’cetsnumyoenedimexucomrpendrelanotionedaccllu

s´emantique

Langues, langages, calculs

I sens ‘usuel’: langue naturelle, les mots et leur(s) sens, signification(s) I langages (langues artificielles) que disent les programmes? (les types, les formules, . . . ) comparer les langages, raisonner sur les programmes I des langages aux calculs ( λ -calcul, π -calcul,. . . ): quels me´canismesessentielssont`alabasedeslangagesde programmation? que disent les langages?

I c’est un moyen de mieux comprendre la notion de calcul 

nosisecsils3`sedafialucndrsou

domaines d’application: langages de programmation, ´thode me s pourl’analyseformelledessyste`mes liensaveclathe´oriedelapreuve (correspondance de Curry Howard)

intensionalite´:onattachedel’importancea` comment on d´ecritleschoses,on‘gardelelangage’

Pourquois’inte´ressera`las´emantique

mmnucitaoi/nnietraction,...) I rel

I

I

I

end´atotn “ io ooIt ´Vtssune es I ) tesn nesdeTuring” (c’e c¸cae’tsedmscaih elnnions utto I “ leiv I etxenois e´arit,fpaepplravaleur/parnom, co ‘eltueiltsud’ely´e(darclifatmp/i desuafriteapne,sabilsdub c’es lage utanemeˆ sednu I er duuxjeene:inmado esr´esulctifsetltnapdsmeatstenos a.siWo”–ouabustR sel I ejbo Aydonelleace and P dWarorea tIs’et.simunni02 gcinadred-eespkatelbasawdnaesruo

( sabanawdruesgnoceadied-raspetookI“ noitatone´dtesen I s s)nu´etVesc’ finla`aessurcodusnosilerdils3sec

intensionalit´e:onattachedel’importance`a comment on de´critleschoses,on‘gardelelangage’ I domaines d’application: langages de programmation, methodes ´ pourl’analyseformelledessyste`mes I liensaveclathe´oriedelapreuve (correspondance de Curry Howard) vision extensionnelle I “tout¸cac’estdesmachinesdeTuring”

Pourquois’inte´resser`alase´mantique

I

I

erdaelotdn eP aWar n20maceies.Iinuttuobas’t”.aissuRAldyoo–W sole n I le jbceitsfteelrse´sultatsnesontpasˆmednemeruta nu I e sedeeunjudxdaiomns,eduseairene:fga c eiblludabptsa tyusudie‘llest’e/fitaralce´d(’elif,appelimp´erat/rapnrmoapvrlaue tica/ionom , cnimu.,no I )..retnitca

etpaens,edusfairni:eodamxuudneejesnd I u retunameˆemedsaptnosenstatesr´esulctifsetll I seboej cssesinoed`ss3il ion,ract I rel ...)tacinummetni/noi /purleva co m,noare´arit,fpaepplra(d´eclaratif/imp‘eltueiltsud’ely ubsdilabgela esc’ ’e(c´Vtssune)

Pourquois’int´eresser`alase´mantique

I

intensionalite´:onattachedel’importancea` comment on de´critleschoses,on‘gardelelangage’ I domainesd’application:langagesdeprogrammation,m´ethodes pourl’analyseformelledessyste`mes I liensaveclathe´oriedelapreuve (correspondance de Curry Howard) vision extensionnelle I “toutc¸ac’estdesmachinesdeTuring” I sensetd´enotation “I took a speed-reading course and was able to read War and Peace in 20 minutes. It’s about Russia.” – Woody Allen

uosrdnculafia

I