An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
A language extension for expressing constraints on data access
Communications of the ACM
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Verifying programs which operate on data structures
Proceedings of the international conference on Reliable software
A file definition facility for file structures
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices
Module: An encapsulation mechanism for specifying and implementing abstract data types
ACM '80 Proceedings of the ACM 1980 annual conference
| Hi-index | 0.00 |
We describe a constructive approach to the specification of data types. The primary motivation for this approach, which is referred to as the Logical Structure - Operation Specification (LSOS), is to highlight certain aspects of a data type, and to possibly suggest one or more implementations for the data type. A key feature of the LSOS is its flexibility, which permits a wide variety of specifications for a data type. This allows the specifier of a data type to communicate to the user any view or perspective which was taken in developing the data type.