Programming Systems: in Search of Historical and Philosophical Foundations

&
In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 1-12 (2018)
  Copy   BIBTEX

Abstract

This chapter introduces the topics investigated in this book and it frames them in a broader historical and philosophical analysis of programming and computing technology.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-97226-8_1

Links

PhilArchive



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

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

Reflections on Programming Systems: Historical and Philosophical Aspects.Giuseppe Primiero & Liesbeth De Mol (eds.) - 2018 - Cham: Springer Verlag.
Using criticalities as a heuristic for answer set programming.Orkunt Sabuncu, Ferda N. Alpaslan & Varol Akman - 2003 - In Vladimir Lifschitz & Ilkka Niemela (eds.), Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 2923 (7th International Conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 Proceedings). Berlin, Heidelberg: Springer. pp. 234-246.
Validity and Correctness Before the OS: the Case of LEO I and LEO II.Giuseppe Primiero, Elisabetta Mori & Rabia Arif - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 15-47.
The Deductive Foundations of Computer Programming: A One-volume Version of The Logical Basis for Computer Programming.Zohar Manna & Richard Waldinger - 1993 - Addison-Wesley Professional.
Implementations of Logic Programming Systems.Evan Tick & Giancarlo Succi - 1994 - Springer Verlag.
Towards philosophical foundations of Systems Biology: introduction.Fred C. Boogerd, Frank J. Bruggeman, Jan-Hendrik S. Hofmeyr & Hans V. Westerhoff - 2007 - In Fred C. Boogerd, Frank J. Bruggeman, Jan-Hendrik S. Hofmeyr & Hans V. Westerhoff (eds.), Systems Biology: Philosophical Foundations. Elsevier.
Abpl.Mike Ainsworth - 1993 - Acta Biotheoretica 41 (1-2):43-51.
The need for the historical understanding of nature in physics and chemistry.Leo Näpinen - 2006 - Foundations of Chemistry 9 (1):65-84.
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp ’92, Leuven, Belgium, August 26–28, 1992 Proceedings.Maurice Bruynooghe - 1992 - Springer.
Programming by example: The human face of AI. [REVIEW]Ian H. Witten, Bruce A. MacDonald, David L. Maulsby & Rosanna Heise - 1992 - AI and Society 6 (2):166-180.
What is answer set programming?Vladimir Lifschitz - unknown
Foundations of the rule-based system ρLog.Mircea Marin & Temur Kutsia - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):151-168.
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context.Cliff Jones & Troy Astarte - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 83-152.
The Economics of Search.Brian Patrick McCall & John Joseph McCall - 2003 - Routledge.
Web search engines and distributed assessment systems.Christophe Heintz - 2006 - Pragmatics and Cognition 14 (2):387-409.

Analytics

Added to PP
2019-01-28

Downloads
8 (#1,296,210)

6 months
4 (#793,623)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giuseppe Primiero
Università degli Studi di Milano

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references