SIGPLAN 1976 Conference on Data: Salt Lake City, Utah, USA

@proceedings{DBLP:conf/sigplan/76,
  title     = {Proceedings of the SIGPLAN '76 Conference on Data: Abstraction,
               Definition and Structure, Salt Lake City, Utah, USA, March 22-24,
               1976},
  publisher = {ACM},
  year      = {1976},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Session I: The Abstraction Issue

• Bengt Nordström:
  An Outline of a Mathematical Model for the Definition and Manipulation of Data. 1-11
  
• Theodore A. Linden:
  The Use of Abstract Data Types to Simplify Program Modifications. 12-23
  
• Moshé M. Zloof, S. Peter de Jong:
  The System for Business Automation: Programming Language. 24
  

Session II: Implementation

• Eric Allman, Michael Stonebraker, Gerald Held:
  Embedding a Relational Data Sublanguage in a General Purpose Programming Language. 25-35
  
• Robert T. Johnson, James B. Morris:
  Abstract Data Types in the Model Programming Language. 36-46
  
• Dennis McLeod:
  High Level Domain Definition in a Relational Data Base System. 47-57
  

Session III: Panel - Whither Data Abstraction?

• Michael Hammer:
  Data Abstractions for Data Bases. 58-59
  
• James J. Horning:
  Some Desirable Properties of Data Abstraction Facilities. 60-62
  
• Douglas T. Ross:
  Toward Foundations for the Understanding of Type. 63-65
  
• Mary Shaw:
  Research Directions in Abstract Data Structures. 66-68
  
• Jim Mitchell, Ben Wegbreit:
  A Next Step in Data Structuring for Programming Languages. 69-70
  

Session IV: Designing Data Abstractions

• John Miles Smith, Diane C. P. Smith:
  Data Base Abstraction. 71
  
• John V. Guttag:
  Abstract Data Types and the Development of Data Structures. 72
  
• Janis A. Bubenko Jr., Stig Berild, Eva Lindencrona-Ohlin, Sam Nachmens:
  From Information Structures to DBTG Data Structures. 73-85
  

Session V: Pointers and Associative Access

• W. Terry Hardgrave:
  A Technique for Implementing a Set Processor. 86-94
  
• Richard B. Kieburtz:
  Programming without Pointer Variables. 95-107
  
• Oscar Vallarino:
  On the Use of Bit Maps for Multiple Key Retrieval. 108-114
  
• Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena:
  Correctness of Data Representations: Pointers in High Level Languages. 115-119
  

Session VI: Defining New Data Types

• David Gries, Narain H. Gehani:
  Some Ideas on Data Types in High Level Languages. 120
  
• Michael E. Senko:
  DIAM II and Levels of Abstraction. 121-140
  
• Lawrence Flon, A. Nico Habermann:
  Towards the Construction of Verifiable Software Systems. 141-148
  
• David Lorge Parnas, John E. Shore, David M. Weiss:
  Abstract Types Defined as Classes of Variables. 149-153
  

Session VII: Panel - Whither Data Base Design?

Session VIII: Language Issues

• Barron C. Housel, Nan C. Shu:
  A High-Level Data Manipulation Language for Hierarchical Data Structures. 155-169
  
• Mark B. Wells, Fred L. Cornwall:
  A Data Type Encapsulation Scheme Utilizing Base Language Operators. 170-178
  
• Cornelis H. A. Koster:
  Visibility and Types. 179-
  

Session IX: Panel - The Two Views of Data Abstraction, Definition, and Structure: Languages and Data Bases