Protection in programming languages
Communications of the ACM
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
A data type encapsulation scheme utilizing base language operators
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
On the problem of uniform references to data structures
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
Structured programming
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
Communications of the ACM
A portable optimizing compiler for Modula-2
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Synthesizing abstract data type specifications
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Paragon: Novel uses of type hierarchies for data abstraction
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The complexity of parameter passing in polymorphic procedures
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
A programming language theorem which is independent of Peano Arithmetic
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Data abstraction: A static implementation strategy
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
A data type encapsulation scheme utilizing base language operators
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Towards an engineering approach to software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
| Hi-index | 0.02 |
The concept of an abstract data type is available in the Model programming language as a proposed improvement to current ideas of programming methodology. In structured programming the principal technique is refinement of procedures. In Model, the analogue is refinement of data types. An abstract data type consists of a data structure and an associated set of operations. The characteristics and suggested uses for this mechanism are discussed. Also presented are several examples culminating in a parallel version of the Fast Fourier Transform.