An Introduction to the Construction and Verification of Alphard Programs

On the criteria to be used in decomposing systems into modules

1972 • 4,597 citations

An Axiomatic Basis for Computer Programming

1969 • 4,423 citations

An axiomatic basis for computer programming

1969 • 3,681 citations

Language, Thought, and Reality.

1956 • 2,923 citations

The mythical man-month: essays on software engineering

1996 • 2,495 citations

Structured programming

1972 • 1,018 citations

The psychology of computer programming

1999 • 1,010 citations

Proof of correctness of data representations

1972 • 959 citations

Program development by stepwise refinement

1971 • 883 citations

Notes on structured programming

1970 • 861 citations

Programming with abstract data types

1974 • 753 citations

A technique for software module specification with examples

1972 • 743 citations

Program development by stepwise refinement

1983 • 698 citations

The programming language Concurrent Pascal

1975 • 636 citations

Operating System Principles

1973 • 617 citations

HYDRA

1974 • 493 citations

Programming with abstract data types

1974 • 386 citations

Specification techniques for data abstractions

1975 • 367 citations

The specification and application to programming of abstract data types.

1975 • 333 citations

Chief programmer team management of production programming

1972 • 315 citations

Information distribution aspects of design methodology

1971 • 308 citations

Specification techniques for data abstractions

1975 • 255 citations

A constructive approach to the problem of program correctness

1968 • 238 citations

Protection in programming languages

1973 • 195 citations

Global variable considered harmful

1973 • 193 citations

Program Proving as Hand Simulation with a Little Induction.

1974 • 191 citations

Types are not sets

1973 • 145 citations

Abstraction and Verification in Alphard: Introduction to Language and Methodology

1976 • 72 citations

A view of program verification

1975 • 57 citations

The verification and synthesis of data structures

1975 • 57 citations

Towards the design of secure systems

1975 • 50 citations

Proving Properties of Complex Data Structures

1976 • 40 citations

Go To Statement Considered Harmful

2001 • 16 citations