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

• Main Author: Priestley, Mark (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London : Imprint: Springer, 2011.
• Series: History of Computing,
• Subjects: Computer science.; Computers.; Computer Science.; History of Computing.

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...

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.