The changing role of logic in the history of programming languages

Mark Priestley

(University of Westminster)

Two major episodes in the history of programming languages are the
introduction of structured and object-oriented programming, and both these
paradigms are still very much alive in current mainstream languages.
This talk will look at the very different role played by logic in the
development of these two approaches, and I will argue that whereas logic
played a dynamic and creative role in the development of structured
programming, this was not the case in the development of object-orientated
ideas. The talk will conclude by offering an explanation of this
phenomenon which considers both logic and programming in the wider context
of changing ideas about machinery.
Tuesday 28th April 2009, 14:00
Robert Recorde Room
Department of Computer Science