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
*
11 + 4 =
Solve this simple math problem and enter the result. E.g. for 1+3, enter 4.
News
CfP: THE SOCIETAL AND ETHICAL DIMENSIONS OF COMPUTER SIMULATIONS
CfP HFM19
Last CfP CLMPST2019
DLMPST/IUHPST Travel Grant for CLMPST2019
2nd Call for Papers CiE2019: Computing with Foresight and Industry
HaPoC Events
HaPoP4 Programme
HaPoP 2018, Oxford - Call for extended abstracts
Program HaPoC4
Pages
« first
‹ previous
…
…
next ›
last »
Recent Publications
Reflections on Programming Systems
Code Switch: Changing Constructions of Computer Expertise as Empowerment
Aux prémices des humanités numériques ? La première analyse automatisée d'un réseau économique ancien (Gardin & Garelli, 1961). Réalisation, conceptualisation, réception
From Models to Simulations
More...
Biblio
Found 78 results
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?
”
,
Blog@CACM
, 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.
H. Durnova
,
“
Embracing the Algol Effort in Czechoslovakia
”
,
Annals of the History of Computing, IEEE
, vol. 36, pp. 26-37, 2014.
L. De Mol
and
Primiero, G.
,
“
Facing Computing as Technique: Towards a History and Philosophy of Computing
”
,
Philosophy & Technology
, pp. 1-6, 2014.
S. Gruner
,
“
On the historical semantics of the notion of software architecture
”
,
The Journal for Transdisciplinary Research in Southern Africa
, vol. 10, no. 1, 2014.
S. Krakowiak
,
“
Les débuts d’une approche scientifique des systèmes d’exploitation
”
, 2014. [Online]. Available:
https://interstices.info/jcms/int_70839/les-debuts-dune-approche-scientifique-des-systemes-dexploitation
.
Pages
« first
‹ previous
1
2
3
4
next ›
last »