Publications

Plato and the Nerd

egdaylight's picture
Submitted by egdaylight on Sat, 09/02/2017 - 19:15
E. A. Lee, Plato and the Nerd, 1st ed. MIT Press, 2017.

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.

Pages