## A Science of Operations: Machines, Logic and the Invention of ProgrammingToday, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programs
Topics and features: covers the early development of automatic computing, including Babbage’s “mechanical calculating engines” and the applications of punched-card technology; examines the theoretical work of mathematical logicians such as Kleene, Church, Post and Turing, and the machines built by Zuse and Aiken in the 1930s and 1940s; discusses the role that logic played in the development of the stored program computer; describes the “standard model” of machine-code programming popularised by Maurice Wilkes; presents the complete table for the universal Turing machine in the Appendices; investigates the rise of the initiatives aimed at developing higher-level programming notations, and how these came to be thought of as ‘languages’ that could be studied independently of a machine; examines the importance of the Algol 60 language, and the framework it provided for studying the design of programming languages and the process of software development; explores the early development of object-oriented languages, with a focus on the Smalltalk project. This fascinating text offers a new viewpoint for historians of science and technology, as well as for the general reader. The historical narrative builds the story in a clear and logical fashion, roughly following chronological order. |

### What people are saying - Write a review

### Contents

1 | |

17 | |

SemiAutomatic Computing | 53 |

Logic Computability and Formal Systems | 67 |

Automating Control | 99 |

Logic and the Invention of the Computer | 123 |

Machine Code Programming and Logic | 157 |

The Invention of Programming Languages | 185 |

The Algol Research Programme | 225 |

The Logic of Correctness in Software Engineering | 253 |

The Unification of Data and Algorithms | 277 |

Conclusions | 297 |

Appendix Turings Universal Machine | 307 |

317 | |

335 | |

### Other editions - View all

A Science of Operations: Machines, Logic and the Invention of Programming Mark Priestley No preview available - 2013 |

A Science of Operations: Machines, Logic and the Invention of Programming Mark Priestley No preview available - 2011 |