Wherefore art thou ... Semantics of Computation? - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Wherefore art thou ... Semantics of Computation?

Résumé

Nearly 60 years have passed since the notion of semantics was first used to explain Programming Languages. There was quite some divergence of opinions, at the time, in what the semantics of semantics was supposed to be. Today, in face of the plethora of different models and logical systems based thereupon, are we in a better position to address this socratic question? We analyse philosophical issues revolving around the Foundations of Formal Reasoning, Proof Cultures, Logical Frameworks, the Algebraic/Co-algebraic Duality, and Games. We put forward the thesis that, rather than being a drawback, plurality is what makes Semantics useful. In that Semantics of Computation is a “partita doppia”, a double check of what we think we understand in computing.
Fichier principal
Vignette du fichier
432590_1_En_1_Chapter.pdf (378.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01615311 , version 1 (12-10-2017)

Licence

Paternité

Identifiants

Citer

Furio Honsell. Wherefore art thou ... Semantics of Computation?. 3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.3-23, ⟨10.1007/978-3-319-47286-7_1⟩. ⟨hal-01615311⟩
49 Consultations
92 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More