Appin Workshop 1985 (POS-1)

->the informal proceedings of this workshop
Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems Springer 1988, ISBN 3-540-18785-5 BibTeX
  editor    = {Malcolm P. Atkinson and
               Peter Buneman and
               Ronald Morrison},
  title     = {Data Types and Persistence. Edited Papers from the Proceedings
               of the First Workshop on Persistent Objects, Appin, Scotland,
               August 1985},
  publisher = {Springer},
  series    = {Topics in Information Systems},
  year      = {1988},
  isbn      = {3-540-18785-5},
  bibsource = {DBLP,}
Electronic Edition BibTeX

Part I: Data Types and Persistence

Part II: Database Types in Programming Languages

Part III: Concurrency, Transactions and Implementation of Persistence

References. 265-286
Electronic Edition BibTeX
Index. 287-290
Electronic Edition BibTeX


Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983) BibTeX
W. Paul Cockshott, Malcolm P. Atkinson, Kenneth Chisholm, Peter J. Bailey, Ronald Morrison: Persistent Object Management System. Softw., Pract. Exper. 14(1): 49-71(1984) BibTeX
Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott: CMS-A Chunk Management System. Softw., Pract. Exper. 13(3): 273-293(1983) BibTeX
Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott, Richard Marshall: Algorithms for a Persistent Heap. Softw., Pract. Exper. 13(3): 259-271(1983) BibTeX
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
Antonio Albano, Giorgio Ghelli, Renzo Orsini: The Implementation of Galileo's Persistent Values. Data Types and Persistence (Appin) 1985: 253-263 BibTeX
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, ISBN 0-201-00029-6
Hassan Aït-Kaci, Roger Nasr: Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin) 1985: 121-136 BibTeX
Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava: A Model of Recoverability in Multilevel Systems. IEEE Trans. Software Eng. 4(6): 486-494(1978) BibTeX
James E. Allchin, Martin S. McKendry: Synchronization and Recovery of Actions. PODC 1983: 31-44 BibTeX
Malcolm P. Atkinson, Ronald Morrison: Persistent First Class Procedures are Enough. FSTTCS 1984: 223-240 BibTeX
Malcolm P. Atkinson, Ronald Morrison: Procedures as Persistent Data Objects. ACM Trans. Program. Lang. Syst. 7(4): 539-559(1985) BibTeX
Malcolm P. Atkinson, Ronald Morrison: Types, Bindings and Parameters in a Persistent Environment. Data Types and Persistence (Appin) 1985: 3-20 BibTeX
Hassan Aït-Kaci, Roger Nasr: Logic and Inheritance. POPL 1986: 219-228 BibTeX
Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) BibTeX
Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29 BibTeX
Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632(1989) BibTeX
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo: BABEL: A Base for an Experimental Library. SIGIR 1988: 175-190 BibTeX
Malcolm P. Atkinson: Programming Languages and Databases. VLDB 1978: 408-419 BibTeX
Peter Buneman, Malcolm P. Atkinson: Inheritance and Persistence in Database Programming Languages. SIGMOD Conference 1986: 4-15 BibTeX
Henry G. Baker Jr.: List Processing in Real Time on a Serial Computer. Commun. ACM 21(4): 280-294(1978) BibTeX
François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 BibTeX
Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73(1983) BibTeX
Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil: An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186(1982) BibTeX
Philip A. Bernstein, Nathan Goodman: Timestamp-Based Algorithms for Concurrency Control in Distributed Database Systems. VLDB 1980: 285-300 BibTeX
Philip A. Bernstein, Nathan Goodman: Multiversion Concurrency Control - Theory and Algorithms. ACM Trans. Database Syst. 8(4): 465-483(1983) BibTeX
Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai: Two Part Proof Schema for Database Concurrency Control. Berkeley Workshop 1981: 71-84 BibTeX
Rod M. Burstall, David B. MacQueen, Donald Sannella: HOPE: An Experimental Applicative Language. LISP Conference 1980: 136-143 BibTeX
Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt (Eds.): On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982. Topics in Information Systems Springer 1984, ISBN 3-540-90842-0
Contents BibTeX
Alexander Borgida, John Mylopoulos, Harry K. T. Wong: Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) 1982: 87-117 BibTeX
Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985) BibTeX
Eike Best, Brian Randell: A Formal Model of Atomicity in Asynchronous Systems. Acta Inf. 16: 93-124(1981) BibTeX
Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. On Conceptual Modelling (Intervale) 1982: 277-312 BibTeX
Per Brinch Hansen: The Programming Language Concurrent Pascal. IEEE Trans. Software Eng. 1(2): 199-207(1975) BibTeX
R. A. Brooker: A `Database' Subsystem for BCPL. Comput. J. 25(4): 448-464(1982) BibTeX
Philip A. Bernstein, David W. Shipman, Wing S. Wong: Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng. 5(3): 203-216(1979) BibTeX
Peter Buneman: Data Types For Database Programming. Data Types and Persistence (Appin) 1985: 91-100 BibTeX
Luca Cardelli: Basic Polymorphic Typechecking. Sci. Comput. Program. 8(2): 147-172(1987) BibTeX
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41 BibTeX
W. Paul Cockshott: Addressing Mechanisms and Persistent Programming. Data Types and Persistence (Appin) 1985: 235-252 BibTeX
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) BibTeX
E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) BibTeX
E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
C. J. Date: An Introduction to Database Systems, Volume II. Addison-Wesley 1983, ISBN 0-201-14474-3
C. J. Date: The Outer Join. ICOD 1983: 76-106 BibTeX
C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
Charles T. Davies Jr.: Data Processing Spheres of Control. IBM Systems Journal 17(2): 179-198(1978) BibTeX
Alan J. Demers, James E. Donahue: Data Types, Parameters, and Type Checking. POPL 1980: 12-23 BibTeX
Amaryllis Deliyanni, Robert A. Kowalski: Logic and Semantic Networks. Commun. ACM 22(3): 184-192(1979) BibTeX
Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976) BibTeX
Jon Fairbairn: A New Type-Checker for a Functional Language. Data Types and Persistence (Appin) 1985: 69-87 BibTeX
Adin D. Falkoff, Kenneth E. Iverson: The Design of APL. IBM Journal of Research and Development 17(5): 324-334(1973) BibTeX
Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents BibTeX
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983
Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX
Robert Harper: Modules and Persistence in Standard ML. Data Types and Persistence (Appin) 1985: 21-30 BibTeX
Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92 BibTeX
Henry Lieberman, Carl Hewitt: A Real-Time Garbage Collector Based on the Lifetimes of Objects. Commun. ACM 26(6): 419-429(1983) BibTeX
Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX
C. A. R. Hoare: Monitors: An Operating System Structuring Concept. Commun. ACM 17(10): 549-557(1974) BibTeX
Kathleen Jensen, Niklaus Wirth: Pascal User Manual and Report, Second Edition. Springer 1975, ISBN 3-540-90144-2
Donald E. Knuth: The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition. Addison-Wesley 1973
Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103 BibTeX
H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981) BibTeX
Butler W. Lampson: Atomic Transactions. Advanced Course: Distributed Systems 1980: 246-265 BibTeX
Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder: CLU Reference Manual. Lecture Notes in Computer Science Vol. 114 Springer 1981, ISBN 3-540-10836-X
Barbara Liskov: On Linguistic Support for Distributed Programs. IEEE Trans. Software Eng. 8(3): 203-210(1982) BibTeX
Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404(1983) BibTeX
Barbara Liskov: The Argus Language and System. Advanced Course: Distributed Systems 1984: 343-430 BibTeX
Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977) BibTeX
Nancy A. Lynch: Concurrency Control for Resilient Nested Transactions. PODS 1983: 166-181 BibTeX
Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974) BibTeX
David B. MacQueen: Modules for Standard ML. LISP and Functional Programming 1984: 198-207 BibTeX
David B. MacQueen: Using Dependent Types to Express Modular Structure. POPL 1986: 277-286 BibTeX
David C. J. Matthews: An Overview of the Poly Programming Language. Data Types and Persistence (Appin) 1985: 43-50 BibTeX
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX
T. H. Merrett: Relations as Programming Language Elements. Inf. Process. Lett. 6(1): 29-33(1977) BibTeX
T. H. Merrett: First Steps to Algebraic Processing of Text. ICOD-2 Workshop on New Applications of Data Bases 1983: 109-127 BibTeX
T. H. Merrett: Persistence and Aldat. Data Types and Persistence (Appin) 1985: 173-188 BibTeX
Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX
Robin Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 Springer 1980, ISBN 3-540-10235-3
Robin Milner: A Proposal for Standard ML. LISP and Functional Programming 1984: 184-197 BibTeX
John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. POPL 1985: 37-51 BibTeX
David B. MacQueen, Ravi Sethi: A Semantic Model of Types for Applicative Languages. Symposium on LISP and Functional Programming 1982: 243-252 BibTeX
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi: An Ideal Model for Recursive Polymorphic Types. POPL 1984: 165-174 BibTeX
John Mylopoulos, Harry K. T. Wong: Some Features of the TAXIS Data Model. VLDB 1980: 399-410 BibTeX
Steven P. Reiss: Graphical Program Development with PECAN Program Development Systems. Software Development Environments (SDE) 1984: 30-41 BibTeX
Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX
John C. Reynolds: Three Approaches to Type Structure. TAPSOFT, Vol.1 1985: 97-138 BibTeX
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX
Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81 BibTeX
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
Joachim W. Schmidt: Type Concepts for Database Definition. JCDKB 1978: 215-244 BibTeX
Dana S. Scott: Domains for Denotational Semantics. ICALP 1982: 577-613 BibTeX
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX
Jonathan E. Shopiro: Theseus - A Programming Language for Relational Databases. ACM Trans. Database Syst. 4(4): 493-517(1979) BibTeX
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984) BibTeX
Michael Stonebraker: A Database Perspective. On Conceptual Modelling (Intervale) 1982: 457-458 BibTeX
Robert D. Tennent: Language Design Methods Based on Semantic Principles. Acta Inf. 8: 97-112(1977) BibTeX
Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
Adriaan van Wijngaarden, B. J. Mailloux, J. E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker: Revised Report on the Algorithmic Language ALGOL 68. Acta Inf. 5: 1-236(1975) BibTeX
William E. Weihl: Data-dependent Concurrency Control and Recovery (Extended Abstract). PODC 1983: 63-75 BibTeX
William E. Weihl: Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin) 1985: 191-212 BibTeX
Niklaus Wirth: The Programming Language Pascal. Acta Inf. 1: 35-63(1971) BibTeX
William E. Weihl, Barbara Liskov: Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269(1985) BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Data Types and Persistence: Copyright © by Springer
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:06:10 2009