A Science of Operations Machines, Logic and the Invention of Programming

Today, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programs that can be run on them. A Science of Operations examines the history of what we now call programming, defined not simply as computer programming, but more broadly as the definition of the ste...

Full description

Main Author: Priestley, Mark
Corporate Author: SpringerLink (Online service)
Format: eBook
Published: London Springer London 2011, 2011
Edition:1st ed. 2011
Series:History of Computing
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Introduction
  • Babbage’s Engines
  • Semi-automatic Computing
  • Logic, Computability and Formal Systems
  • Automating Control
  • Logic and the Invention of the Computer
  • Machine Code Programming and Logic
  • The Invention of Programming Languages
  • The Algol Research Programme
  • The Logic of Correctness in Software Engineering
  • The Unification of Data and Algorithms
  • Conclusions