Understanding programming languages
Minds and Machines 17 (2):203-216 (2007)
Abstract
We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.Author's Profile
DOI
10.1007/s11023-007-9062-6
My notes
Similar books and articles
Lambda-Calculus, Combinators and Functional Programming.György E. Révész - 1988 - Cambridge University Press.
Games in the semantics of programming languages – an elementary introduction.Jan Jürjens - 2002 - Synthese 133 (1-2):131-158.
Rules in programming languages and networks.Frederick R. Adams, Kenneth Aizawa & Gary Fuller - 1992 - In J. Dinsmore (ed.), The Symbolic and Connectionist Paradigms: Closing the Gap. Lawrence Erlbaum.
Symmetry and interactivity in programming.P. -L. Curien - 2003 - Bulletin of Symbolic Logic 9 (2):169-180.
Viola: A new visual programming language designed for the rapid development of interacting agent systems.C. J. Topping, M. J. Rehder & B. H. Mayoh - 1999 - Acta Biotheoretica 47 (2):129-140.
Towards situation-oriented programming languages.Erkan Tin, Varol Akman & Murat Ersan - 1995 - ACM SIGPLAN Notices 30 (1):27-36.
Analytics
Added to PP
2009-01-28
Downloads
95 (#131,846)
6 months
2 (#300,644)
2009-01-28
Downloads
95 (#131,846)
6 months
2 (#300,644)
Historical graph of downloads
Author's Profile
Citations of this work
Dissecting scientific explanation in AI (sXAI): A case for medicine and healthcare.Juan M. Durán - 2021 - Artificial Intelligence 297 (C):103498.
Against Structuralist Theories of Computational Implementation.Michael Rescorla - 2013 - British Journal for the Philosophy of Science 64 (4):681-707.
Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.
References found in this work
Philosophical Investigations.Ludwig Josef Johann Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell.
Realism in Mathematics.Penelope Maddy - 1990 - Oxford, England and New York, NY, USA: Oxford University Prress.
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 1997 - Oxford, England: Oxford University Press.
