8
2
(April)
1976
SIGPLAN '76 Conference on Data: Abstraction, Definition and Structure
March 22-24, 1976
1976
Salt Lake City, Utah, USA
Session I:
The Abstraction Issue
An Outline of a Mathematical Model for the Definition and Manipulation of Data.
Bengt Nordström
1
11
Abstract, Index Terms and Cathegories
The Use of Abstract Data Types to Simplify Program Modifications.
Theodore A. Linden
12
23
Abstract, Index Terms and Cathegories
The System for Business Automation: Programming Language.
Moshé M. Zloof
S. Peter de Jong
24
24
Abstract, Index Terms and Cathegories
Session II:
Implementation
Embedding a Relational Data Sublanguage in a General Purpose Programming Language.
Eric Allman
Michael Stonebraker
Gerald Held
25
35
Abstract, Index Terms and Cathegories
Abstract Data Types in the Model Programming Language.
Robert T. Johnson
James B. Morris
36
46
Abstract, Index Terms and Cathegories
High Level Domain Definition in a Relational Data Base System.
Dennis McLeod
47
57
Abstract, Index Terms and Cathegories
Session III:
Panel - Whither Data Abstraction?
Data Abstractions for Data Bases.
Michael Hammer
58
59
Abstract, Index Terms and Cathegories
Some Desirable Properties of Data Abstraction Facilities.
James J. Horning
60
62
Abstract, Index Terms and Cathegories
Toward Foundations for the Understanding of Type.
Douglas T. Ross
63
65
Abstract, Index Terms and Cathegories
Research Directions in Abstract Data Structures.
Mary Shaw
66
68
Abstract, Index Terms and Cathegories
A Next Step in Data Structuring for Programming Languages.
Jim Mitchell
Ben Wegbreit
69
70
Abstract, Index Terms and Cathegories
Session IV:
Designing Data Abstractions
Data Base Abstraction.
John Miles Smith
Diane C. P. Smith
71
71
Abstract, Index Terms and Cathegories
Abstract Data Types and the Development of Data Structures.
John V. Guttag
72
72
Abstract, Index Terms and Cathegories
From Information Structures to DBTG Data Structures.
Janis A. Bubenko Jr.
Stig Berild
E. Lindencrona-Ohlin
Sam Nachmens
73
85
Abstract, Index Terms and Cathegories
Session V:
Pointers and Associative Access
A Technique for Implementing a Set Processor.
W. Terry Hardgrave
86
94
Abstract, Index Terms and Cathegories
Programming without Pointer Variables.
Richard B. Kieburtz
95
107
Abstract, Index Terms and Cathegories
On the Use of Bit Maps for Multiple Key Retrieval.
Oscar Vallarino
108
114
Abstract, Index Terms and Cathegories
Correctness of Data Representations: Pointers in High Level Languages.
Daniel M. Berry
Z. Erlich
Carlos J. P. Lucena
115
119
Abstract, Index Terms and Cathegories
Session VI:
Defining New Data Types
Some Ideas on Data Types in High Level Languages.
David Gries
Narain H. Gehani
120
120
Abstract, Index Terms and Cathegories
DIAM II and Levels of Abstraction.
Michael E. Senko
121
140
Abstract, Index Terms and Cathegories
Towards the Construction of Verifiable Software Systems.
Lawrence Flon
A. Nico Habermann
141
148
Abstract, Index Terms and Cathegories
Abstract Types Defined as Classes of Variables.
David Lorge Parnas
John E. Shore
David M. Weiss
149
153
Abstract, Index Terms and Cathegories
Session VIII:
Language Issues
A High-Level Data Manipulation Language for Hierarchical Data Structures.
Barron C. Housel
Nan C. Shu
155
169
Abstract, Index Terms and Cathegories
A Data Type Encapsulation Scheme Utilizing Base Language Operators.
Mark B. Wells
Fred L. Cornwall
170
178
Abstract, Index Terms and Cathegories
Visibility and Types.
179
Abstract, Index Terms and Cathegories