Prespecification in data refinement

Proof of correctness of data representations

C. A. R. Hoare · Acta Informatica · 1972 · 964 citations

Data Representation, Engineering, Data Science +7

The weakest prespecification

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

Democracy, Constitutional Law, Weakest Prespecification +3

Non-deterministic data types: models and implementations

Tobias Nipkow · Acta Informatica · 1986 · 82 citations

Deterministic System, Engineering, Data Type +6

A new notion of encapsulation

David Gries, Jan F. Prins · 1985 · 43 citations · Full text

Engineering, Encapsulation (Computer Programming), Information Security +13

A new notion of encapsulation

David Gries, Jan F. Prins · ACM SIGPLAN Notices · 1985 · 11 citations

Subtype Becomes, Engineering, Information Security +26