Publications

Miscomputation in software: Learning to live with errors

tomasp's picture
Submitted by tomasp on Wed, 04/19/2017 - 12:53
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

Submitted by admin on Fri, 01/13/2017 - 14:55
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

Submitted by admin on Wed, 11/30/2016 - 09:04
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.

What Makes a Program Elegant?

Submitted by admin on Thu, 10/13/2016 - 09:59
R. K. Hill, “What Makes a Program Elegant?”, [email protected], 2016. [Online]. Available: http://cacm.acm.org/blogs/blog-cacm/208547-what-makes-a-program-elegant/fulltext.

The M-3 in Budapest and Szeged

Submitted by mate szabo on Tue, 09/20/2016 - 18:17
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

Submitted by admin on Mon, 07/25/2016 - 10:31
G. Primiero, “Information in the Philosophy of Computer Science”, in The Routledge Handbook of Philosophy of Information, London and New York: Routledge, 2016.

Pages