Prespecification in data refinement

Information Processing Letters

Volumn 25, Issue 2, 1987, Pages 71-76

  Hoare, C A R ^a   Jifeng, H E ^a   Sanders, J W ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Data refinement; data type

Indexed keywords

COMPUTER METATHEORY - PROGRAMMING THEORY;

CONCRETE DATA TYPE; DATA REFINEMENT;

COMPUTER PROGRAMMING;

EID: 0023646415     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/0020-0190(87)90224-9     Document Type: Article

References (9)

1. A new notion of encapsulation
2. Proof of correctness of data representations
3. The weakest prespecification
4. A Calculus for Communicating Systems
5. Non-deterministic data types
6. Concurrency and automata on infinite sequences