Publications

Embracing the Algol Effort in Czechoslovakia

H. Durnova, Embracing the Algol Effort in Czechoslovakia, Annals of the History of Computing, IEEE, vol. 36, pp. 26-37, 2014.

A Vindication of Program Verification

S. Bringsjord, A Vindication of Program Verification, History and Philosophy of Logic, pp. 1-16, 2015.

Kalmar and Peter: Undecidability as a Consequence of Incompleteness

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.

Computing As Model-based Empirical Science

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.

Pages