Understanding programming languages

Minds and Machines 17 (2):203-216 (2007)
  Copy   BIBTEX

Abstract

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

Categories

Keywords

Reprint years

DOI

10.1007/s11023-007-9062-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lambda-calculus, combinators, and functional programming.György E. Révész - 1988 - New York: Cambridge University Press.
Games in the semantics of programming languages – an elementary introduction.Jan Jürjens - 2002 - Synthese 133 (1-2):131-158.
Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
Bilattices In Logic Programming.Melvin Fitting - unknown
Temporal Phylogenetic Networks and Logic Programming.Vladimir Lifschitz - unknown
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.
Abpl.Mike Ainsworth - 1993 - Acta Biotheoretica 41 (1-2):43-51.
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
107 (#163,860)

6 months
9 (#302,300)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Raymond Turner
University of Essex

Citations of this work

Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
Against Structuralist Theories of Computational Implementation.Michael Rescorla - 2013 - British Journal for the Philosophy of Science 64 (4):681-707.
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.

View all 9 citations / Add more citations

References found in this work

Philosophical Investigations.Ludwig Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell. Edited by G. E. M. Anscombe.
Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.
Realism in mathematics.Penelope Maddy - 1990 - New York: Oxford University Prress.
Philosophy of mathematics: structure and ontology.Stewart Shapiro - 1997 - New York: Oxford University Press.
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.

View all 29 references / Add more references