Publications

Miscomputation in software: Learning to live with errors

T. Petricek, Miscomputation in software: Learning to live with errors, The Art, Science, and Engineering of Programming, vol. 1, no. 2, 2017.

Computer programs do not always work as expected. In fact, "ominous warnings about the desperate state of the software industry continue to be released with almost ritualistic regularity". In this paper, we look at the 60 years history of programming and at the different practical methods that software community developed to live with programming errors.

Games, Full Abstraction and Full Completeness

F. Cardone, Games, Full Abstraction and Full Completeness, in The Stanford Encyclopedia of Philosophy, Spring 2017th ed., E. N. Zalta Metaphysics Research Lab, Stanford University, 2017.

The Long Quest for Computational Thinking

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.

The M-3 in Budapest and Szeged

M. Szabo, The M-3 in Budapest and Szeged, Proceedings of the IEEE, vol. 104, no. 10, pp. 2062-2069, 2016.

Information in the Philosophy of Computer Science

G. Primiero, Information in the Philosophy of Computer Science, in The Routledge Handbook of Philosophy of Information, London and New York: Routledge, 2016.

Pages