POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
The contour model of block structured processes
ACM SIGPLAN Notices
Use of symbolic and numeric methods in an algorithm for the approximation of multivariate functions
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Implementation and application of a function data type
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
| Hi-index | 0.00 |
A data type encapsulation scheme in which the “space” operations are expressed naturally in terms of the base language operators is described. The scheme results from a conceptual separation of operators and procedure calls in the base language and produces a language of considerable expressive power. The scheme has been implemented and several examples are given.