An axiomatic definition of the programming language PASCAL

An axiomatic basis for computer programming

1969 • 3,681 citations

An axiomatic basis for computer programming

1983 • 1,569 citations

Revised report on the algorithmic language ALGOL 60

1963 • 909 citations

The programming language pascal

1971 • 725 citations

Procedures and Parameters: An Axiomatic Approach

1971 • 255 citations

Notes on Data Structuring

1972 • 189 citations

Procedures and parameters: An axiomatic approach

1971 • 159 citations

The design of a pascal compiler

1971 • 122 citations

A note on the for statement

1972 • 48 citations

A pascal compiler for ICL 1900 series computers

1972 • 30 citations