This text investigates the foundational question of how mathematical rigor can be applied to the discipline of computer programming to ensure correctness and efficiency. Harlan D. Mills, a pioneer in software engineering and structured programming, utilizes his extensive background in IBM research to present a framework where programming is treated as a formal mathematical activity. The book argues that by applying mathematical logic and functional decomposition, developers can systematically construct programs that are verifiable and robust, moving away from heuristic-based coding practices.

The subject matter points to a dense, specialist text intended for advanced students and practitioners interested in the theoretical underpinnings of software construction. The framing suggests a rigorous, academic approach that prioritizes logical correctness over contemporary rapid-development paradigms.