A New Notion of Encapsulation

ACM SIGPLAN Notices

Volumn 20, Issue 7, 1985, Pages 131-139

  Gries, David ^a   Prins, Jan ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES - PROCEDURE ORIENTATION;

NEW NOTATION OF ENCAPSULATION; PROGRAMMING ENVIRONMENTS; PROTOTYPING;

COMPUTER PROGRAMMING;

EID: 0022085285     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/17919.806834     Document Type: Article

References (6)

1. Dijkstra, E.W. A Discipline of Programming. Prentice Hall, Englewood Cliffs, 1076.
2. Gries, D. The Science of Programming. Springer Verlag, New York, 1081.
3. Hoare, C.A.R. Proofs of correctness of data representations. Acta Informatica 1 (1972), 271-281.
4. Jones, C.B. Software Development: A Rigorous Approach. Prentice Hall, London, 1980.
5. Kamin, S. and Archer, M. Partial Implementations of Abstract Data types: A Dissenting View on Errors, in Semantics of Data Types. G. Kahn, et al, ed., Lecture Notes in Computer Science 173, Springer Verlag, New York, 1984.
6. Knuth, D.E. The Art of Computer Programming, Vol. 2 (Seminumerical Algorithms). Addison Wesley, Reading, 1969.