Wherefore art thou ... Semantics of Computation?

Abstract : 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.
Type de document :
Communication dans un congrès
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.3-23, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_1〉
Liste complète des métadonnées

Littérature citée [59 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01615311
Contributeur : Hal Ifip <>
Soumis le : jeudi 12 octobre 2017 - 11:22:31
Dernière modification le : jeudi 12 octobre 2017 - 11:25:05

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Furio Honsell. Wherefore art thou ... Semantics of Computation?. 3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. IFIP Advances in Information and Communication Technology, AICT-487, pp.3-23, 2016, History and Philosophy of Computing. 〈10.1007/978-3-319-47286-7_1〉. 〈hal-01615311〉

Partager

Métriques

Consultations de la notice

27