Biblio

Found 82 results
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.

Pages