Abstract data types and the development of data structures

Authors:
John V. Guttag
Affiliations:
Unviersity of Southern California
Venue:
Software pioneers
Year:
2002

Citing 9
Cited 1

Proving Properties of Complex Data Structures

Journal of the ACM (JACM)
A technique for software module specification with examples

Communications of the ACM
Types are not sets

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Symbol Table Access

Compiler Construction, An Advanced Course, 2nd ed.
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages
The design of data type specifications

ICSE '76 Proceedings of the 2nd international conference on Software engineering
Language design to enhance programming reliability.

Language design to enhance programming reliability.
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)

Functional metamodels for systems and software

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract data types can play a significant role in the development of software that is reliable, efficient, and flexible, This paper presents and discusses the application of an algebraic technique for the specification of abstract data types. Among the examples presented is a top-down development of a symbol table for a block structured language; a discussion of the proof of its correctness is given. The paper also contains a brief discussion of the problems involved in constructing algebraic specifications that are both consistent and complete.