Safe Data Type Specifications | IEEE Journals & Magazine | IEEE Xplore

Safe Data Type Specifications


Abstract:

This paper discusses the current style of algebraic data type specifications. Some simple examples illustrate that whether or not two objects of the type being specified ...Show More

Abstract:

This paper discusses the current style of algebraic data type specifications. Some simple examples illustrate that whether or not two objects of the type being specified are equal can be implementation dependent, even for very simple objects of the type. To remedy this, it is proposed that specifications should be safe, where safety is a stronger requirement than Guttag's sufficient completeness. The paper also discusses when an operator should be part of a specification and when it should be introduced by extension, and concludes with safe specifications of some common data types.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-10, Issue: 3, May 1984)
Page(s): 285 - 289
Date of Publication: 29 May 2009

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.