Inductive data types for predicate transformers

A calculus of refinements for program derivations

R. J. R. Back · Acta Informatica · 1988 · 247 citations

Computing, Computer Science, Formal Methods +11

Data structures and program transformation

Grant Malcolm · Science of Computer Programming · 1990 · 171 citations

Computing, Computer Science, Computer Systems +14

The weakest prespecification

C. A. R. Hoare, Jifeng He · Information Processing Letters · 1987 · 147 citations

Algorithmics : towards programming as a mathematical activity

Lambert Meertens · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1986 · 125 citations · Full text

Computing, Computer Science, Mathematics +8

An algebraic construction of predicate transformers

P. H. B. Gardiner, Clare Martin, Oege de Moor · Science of Computer Programming · 1994 · 39 citations

Humanities, Computer Science, Algebra +7