Prespecification in data refinement

Page 1

	Year	Citations
Proof of correctness of data representations C. A. R. Hoare Acta Informatica Data RepresentationEngineeringData ScienceAutomated ReasoningVerification	1972	964
The weakest prespecification C. A. R. Hoare, Jifeng He Information Processing Letters DemocracyConstitutional LawWeakest PrespecificationPolitical ScienceSocial Sciences	1987	147
Non-deterministic data types: models and implementations Tobias Nipkow Acta Informatica Deterministic SystemEngineeringData TypeFormal MethodsComputer Science	1986	82
A new notion of encapsulation David Gries, Jan F. Prins EngineeringEncapsulation (Computer Programming)Information SecurityModule DesignStandard Way	1985	43
A new notion of encapsulation David Gries, Jan F. Prins ACM SIGPLAN Notices Subtype BecomesEngineeringInformation SecuritySoftware SystemsSoftware Engineering	1985	11

Page 1