Biblio

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?”, Blog@CACM, 2016. [Online]. Available: http://cacm.acm.org/blogs/blog-cacm/208547-what-makes-a-program-elegant/fulltext.

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.

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.