Biblio

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

Pages