A technique for software module specification with examples
Communications of the ACM
Fundamentals of Data Structures in Pascal
Fundamentals of Data Structures in Pascal
SCRATCHPAD/1: An interactive facility for symbolic mathematics
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
REDUCE 2: A system and language for algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Abstract data types and the development of data structures
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Structured programming
Abstract data types and the development of data structures
Communications of the ACM
Stop losing sleep over incomplete data type specifications
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Information systems: Modelling, sequencing and transformations
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Introduction to the WELLMADE design methodology
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Dynamic restructuring in an experimental operating system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Towards constructive axiomatic specifications
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Abstract data types and the development of data structures
Software pioneers
A note on algebraic specification of binary trees
ACM SIGPLAN Notices
Informality in program specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
The relationship between design and verification
Journal of Systems and Software
Abstraction hierarchies in top-down design
Journal of Systems and Software
| Hi-index | 0.02 |
This paper is about the design of data types in creating a software system. The major point is to explore a means for specifying a data type which is independent of its eventual implementation. The particular style of specification, called algebraic axioms, is exhibited by axiomatizing many commonly used data types. As such, these examples reveal a great deal about the intricacies of data type specification via algebraic axioms, and, in addition, provide a standard to which alternative forms may be compared. Further uses of this specification technique are in proving the correctness of implementations and in interpretively executing a large system design before actual implementation commences.