Toward an understanding of data structures

Authors:
Jay Earley
Affiliations:
University of California, Berkeley
Venue:
SIGFIDET '70 Proceedings of the 1970 ACM SIGFIDET (now SIGMOD) Workshop on Data Description, Access and Control
Year:
1970

Citing 7
Cited 0

PL360, a Programming Language for the 360 Computers

Journal of the ACM (JACM)
A relational model of data for large shared data banks

Communications of the ACM
A programmer's description of L6

Communications of the ACM
A generalized technique for symbol manipulation and numerical calculation

Communications of the ACM
Another look at data

AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
Dataless programming

AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
BCPL: a tool for compiler writing and system programming

AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a notation and formalism for describing the semantics of data structures. This is based on directed graphs with named edges and transformations on these graphs. In addition, we describe an implementation facility, which could be part of a programming language, which allows a programmer who has expressed the semantics of an algorithm in terms of the graphs to then specify the implementation of some of his data structures in order to gain efficiency.