Behavioural correctness of data representations

Science of Computer Programming

Volumn 14, Issue 1, 1990, Pages 43-57

  Schoett, Oliver ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES--ALGEBRA;

BEHAVIORAL CORRECTNESS; DATA REPRESENTATIONS; DATA TYPES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0025444459     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6423(90)90057-K     Document Type: Article

References (23)

1. A comparative study of abstract data type concepts
2. Partial abstract types
3. Observability concepts in abstract data type specifications
4. Products of automata and the problem of covering
5. Universal realization, persistent interconnection and implementation of abstract modules
6. Data refinement refined
7. Proof of correctness of data representations
8. Prespecification in data refinement
9. On behavioural equivalence of data types
10. Software Development: A Rigorous Approach
11. Partial implementations of abstract data types: A dissenting view on errors
12. Initiality, induction, and computability
13. An algebraic definition of simulation between programs
14. Non-deterministic data types: Models and implementations
15. Behavioural equivalence: A unifying concept for initial and final specification methods
16. The Craft of Programming
17. On observational equivalence and algebraic specification
18. Ein Modulkonzept in der Theorie abstrakter Datentypen
19. A theory of program modules, their specification and implementation
20. Behavioural correctness of data representations
21. Data abstraction and the correctness of modular programming