Skip to main content
Commission for the History and Philosophy of Computing
Main menu
Home
HaPoC Commission
Become a Member
Events & News
Publications
Blog
HaPoC Conference Series
You are here
Home
User login
Username
*
Password
*
Create new account
Request new password
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Math question
*
3 + 13 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.
News
26th DHST Congress goes online
Computing and Programming in Context - Special Issue published
2021 DHST DISSERTATION PRIZE CALL FOR APPLICATIONS
postponing of HAPOP-5, Paris 2020
Grants for externally organised Events in 2021
HaPoC Events
HaPoC5: Programme and Registration
HAPOC5: Accepted Papers
HaPoC5: EXTENDED DEADLINE
Pages
« first
‹ previous
…
…
next ›
last »
Recent Publications
A theory of change for prioritised resilient and evolvable software systems
Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions
A Minimalist Epistemology for Agent-Based Simulations in the Artificial Sciences
On Malfunction, Mechanisms and Malware Classification
More...
Biblio
Found 83 results
2016
R. K. Hill
,
“
Does Nature Use Data?
”
,
Communications of the ACM
, 2016.
T. Haigh
,
Priestley, M.
, and
Rope, C.
,
ENIAC in Action: Making and Remaking the Modern Computer
. The MIT Press, 2016.
F. Gadducci
and
Tavosanis, M.
,
History and Philosophy of Computing -- Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
, vol. 487. Springer, 2016.
G. Primiero
,
“
Information in the Philosophy of Computer Science
”
, in
The Routledge Handbook of Philosophy of Information
, London and New York: Routledge, 2016.
J. Joque
,
“
The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages
”
,
Philosophy {&} Technology
, vol. 29, pp. 335–356, 2016.
M. Tedre
and
Denning, P. J.
,
“
The Long Quest for Computational Thinking
”
, in
Proceedings of the 16th Koli Calling Conference on Computing Education Research,
, 2016.
M. Szabo
,
“
The M-3 in Budapest and Szeged
”
,
Proceedings of the IEEE
, vol. 104, no. 10, pp. 2062-2069, 2016.
R. K. Hill
,
“
What Makes a Program Elegant?
”
,
[email protected]
, 2016. [Online]. Available:
http://cacm.acm.org/blogs/blog-cacm/208547-what-makes-a-program-elegant/fulltext
.
2015
F. Cardone
,
“
Continuity in Semantic Theories of Programming
”
,
History and Philosophy of Logic
, pp. 1-20, 2015.
E. G. Daylight
,
“
From mathematical logic to programming-language semantics: a discussion with Tony Hoare
”
,
Journal of Logic and Computation
, vol. 25, pp. 1091-1110, 2015.
G. White
,
“
Hardware, Software, Humans: Truth, Fiction and Abstraction
”
,
History and Philosophy of Logic
, pp. 1-24, 2015.
L. De Mol
,
Carlé, M.
, and
Bullynck, M.
,
“
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
”
,
Journal of Logic and Computation
, vol. 25, pp. 1011-1046, 2015.
M. Szabo
,
“
Kalmar and Peter: Undecidability as a Consequence of Incompleteness
”
,
Computability in Europe
, vol. Beckmann, Mitrana, and Soskova (eds) - Evolving Computability, 11th Conference of CiE, Bucharest, 2015. Springer, pp. 343-352, 2015.
M. Bullynck
,
“
Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming
”
,
History and Philosophy of Logic
, pp. 1-13, 2015.
G. Primiero
,
“
Realist Consequence, Epistemic Inference, Computational Correctness
”
, in
The Road to Universal Logic
,
A. Koslow
and
Buchsbaum, A.
Birkenhauser, Springer, 2015.
M. Tedre
,
The Science of Computing -- Shaping a Discipline
. CRC Press - Taylor & Francis Group, 2015.
T. Haigh
,
“
The Tears of Donald Knuth
”
,
Communications of the ACM
, vol. 58, no. 1, 2015.
E. G. Daylight
,
“
Towards a Historical Notion of ‘Turing—the Father of Computer Science’
”
,
History and Philosophy of Logic
, pp. 1-24, 2015.
G. Sommaruga
and
Strahm, T.
,
Turing's Revolution: The Impact of His Ideas about Computability
. Birkhäuser, 2015, p. 329.
S. Bringsjord
,
“
A Vindication of Program Verification
”
,
History and Philosophy of Logic
, pp. 1-16, 2015.
R. K. Hill
,
“
What an Algorithm Is
”
,
Philosophy & Technology
, pp. 1-25, 2015.
L. De Mol
and
Primiero, G.
,
“
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
”
,
History and Philosophy of Logic
, pp. 1-10, 2015.
2014
A. Steiner
,
“
Book Review: Cortada (2012) Digital Flood, by André Steiner
”
, 2014. [Online]. Available:
http://hsozkult.geschichte.hu-berlin.de/rezensionen/2014-1-090
.
P. Fishwick
,
“
Computing As Model-based Empirical Science
”
, in
Proceedings of the 2Nd ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation
, New York, NY, USA, 2014.
J. Dubucs
and
Bourdeau, M.
,
Constructivity and Computability in Historical and Philosophical Perspective
, vol. 34. Springer, 2014.
Pages
« first
‹ previous
1
2
3
4
next ›
last »