A Science of Operations

A Science of Operations examines the evolution of early computer programming from the 1950s through the 1970s. The book traces how programming transformed from an informal craft into a structured discipline with established practices and theories. The narrative follows key developments in programming concepts, languages, and methodologies across academic and commercial contexts. Through archival research and historical analysis, Priestley reconstructs the technical and intellectual foundations that shaped modern software engineering. The book documents the emergence of theoretical frameworks for understanding computation alongside practical advances in programming techniques. It presents case studies of influential projects and innovations while examining broader shifts in how practitioners approached software development. This historical account reveals the interdependence between abstract computer science and concrete engineering practices in programming's formative decades. The work demonstrates how theoretical and practical concerns shaped each other as programming matured into a distinct field of study.

Readers describe this as a detailed academic history focused on the development of computer programming practices and concepts from 1945-1965. Readers appreciated: - Deep technical analysis of early programming techniques - Original source material and archival research - Focus on social/institutional context rather than just technical details - Clear explanations of complex historical developments Common criticisms: - Dense academic writing style - Assumes significant background knowledge - Limited coverage of developments after 1965 - High price point for the hardcover edition Ratings: Goodreads: 4.0/5 (12 ratings) Amazon: 4.7/5 (6 ratings) Sample review: "Provides insights into how programming evolved from a craft into an engineering discipline. The technical details can be challenging but worth the effort." - Goodreads reviewer "Too focused on academic theory rather than practical developments in industry" - Amazon reviewer Several readers noted it works better as a reference text than a cover-to-cover read.

The Universal Computer by Martin Davis The parallel development of mathematical logic and computer science is traced through key historical figures from Leibniz to Turing.

Mechanizing Proof by Donald MacKenzie The social and technical history of automated theorem provers and verification systems reveals the intersection of mathematical logic and machine computation.

When Computers Were Human by David Alan Grier The pre-electronic computing era documents how mathematical tables and calculations were produced by rooms of human computers using mechanical calculators.

The Computer Boys Take Over by Nathan Ensmenger The evolution of programming from clerical work to software engineering illustrates the professionalization and masculinization of computing.

Programmed Inequality by Marie Hicks The role of gender in British computing from World War II through the 1970s demonstrates how social factors shaped the development of computing technology.

🔹 The book traces how computer programming evolved from a craft-like activity into a scientific discipline, focusing heavily on developments between 1950 and 1980. 🔹 Mark Priestley spent significant time analyzing original source materials at the Charles Babbage Institute archives to uncover previously overlooked aspects of computing history. 🔹 The book challenges the common narrative that structured programming emerged primarily from Dijkstra's work, showing it was actually a more complex, gradual development. 🔹 While working on this book, Priestley helped create an online simulation of the Manchester Baby computer—one of the first stored-program computers ever built. 🔹 The title deliberately echoes Christopher Strachey's 1952 paper "Logical or Mathematical Programs," which first proposed treating programming as a mathematical discipline rather than just a practical skill.