An Abstract Type for Statistics Collection in Simula
- 1 October 1980
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 2 (4) , 544-563
- https://doi.org/10.1145/357114.357118
Abstract
Although the use of abstract types has been widely advocated as a specification and implementation technique, their use has often been associated with programming languages that are not widely available, and examples published to date are rarely taken from actual applications. SIMULA is a widely available language that supports the use of abstract types. The purposes of this paper are (1) to demonstrate the application of the concepts of data abstraction to a common problem; (2) to demonstrate the use of data abstraction in a widely available language; and (3) to provide a portable facility for statistics collection that may make the use of SIMULA more attractive. A discussion of the background of and requirements for an abstract type for statistics collection is presented, followed by a specification for the type using traces. A SIMULA implementation, with examples of its use, is given. Finally, implementation of the abstract type in other languages is discussed.Keywords
This publication has 10 references indexed in Scilit:
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Early experience with MesaCommunications of the ACM, 1977
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Some ideas on data types in high-level languagesCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Abstract types defined as classes of variablesPublished by Association for Computing Machinery (ACM) ,1976
- Programming with abstract data typesACM SIGPLAN Notices, 1974