POS-1 1985: Appin, Scotland

• Malcolm P. Atkinson, Peter Buneman, Ronald Morrison:
  Preface.
  
• Malcolm P. Atkinson, Ronald Morrison:
  Types, Bindings and Parameters in a Persistent Environment. 1-24
  
• Cliff B. Jones, T. N. Nipkow, Mario Wolczko:
  MDB: A Graph-Like Persistent Database. 25-34
  
• T. H. Merrett:
  Persistence and Aldat. 35-48
  
• K. T. Sridhar, C. A. R. Hoare:
  JSD Expressed in CSP. 49-82
  
• G. Lawrence Krablin:
  Building Flexible Multilevel Transactions in a Distributed Persistent Environment. 83-105
  
• Jon Fairbairn:
  A New Type-Checker for a Functional Language. 107-123
  
• Malcolm S. Powell:
  Adding Programming Facilities to an Abstract Data Store. 125-144
  
• William E. Weihl:
  Linguistic Support for Atomic Data Types. 145-173
  
• Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi:
  The Type System of Galileo. 175-195
  
• Antonio Albano, Giorgio Ghelli, Renzo Orsini:
  The Implementation of Galileo's Persistent Values. 197-208
  
• R. B. Jones:
  An Architecture for Personal Knowledge Management. 209-219
  
• Luca Cardelli, David B. MacQueen:
  Persistence and Type Abstraction. 221-230
  
• Stanley B. Zdonik, Peter Wegner:
  A Database Approach to Languages, Libraries and Environments. 231-254
  
• David C. J. Matthews:
  An Overview of the Poly Programming Language. 255-263
  
• Alexander Borgida:
  Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper. 265-271
  
• Antony J. T. Davie:
  Conditional Declarations and Pattern Matching. 273-275
  
• Christopher L. F. Haynes:
  Data Privacy in a Persistent Environment. 277-281
  
• Christopher L. F. Haynes:
  The Exploitation of Persistence. 283
  
• Peter Buneman:
  Data Types For Data Base Programming. 285-298
  
• Rishiyur S. Nikhil:
  Functional Databases, Functional Languages. 299-313
  
• James E. Donahue:
  Integrating Programming Languages with Database Systems. 315-324
  
• Ian F. Currie:
  Fileestore and Modes in Flex. 325-334
  
• Peter M. D. Gray, David S. Moffat, J. B. H. du Boulay:
  Persistent Prolog: A Secondary Storage Manager for Prolog. 335-351
  
• W. Paul Cockshott:
  Addressing Mechanisms and Persistent Programming. 353-384
  
• Hassan Aït-Kaci:
  Integrating Data Type Inheritance into Logic Programming. 385-388