Final data type specifications
- 1 January 1980
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 131-138
- https://doi.org/10.1145/567446.567459
Abstract
A new specification method for data types is presented, which is distinguished by the semantic objects it specifies. In particular, only final data types [GGM,W] are specifiable. A final data type is one in which no two elements are "input-output equivalent". It is argued that the mathematical properties of final data types characterize abstractness on the semantic level.Examples are given to show that final data type specifications are easy to construct and use.Keywords
This publication has 0 references indexed in Scilit: