ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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
@proceedings{DBLP:conf/pos/1985,
  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, http://dblp.uni-trier.de}
}
Preface.
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

References

[AB85]
...
[ABCCM81]
...
[ABCCM83]
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
[ABCCM84a]
...
[ABCCM84b]
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
[ABM85]
...
[ABN85]
...
[ACC81]
...
[ACC83a]
Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott: CMS-A Chunk Management System. Softw., Pract. Exper. 13(3): 273-293(1983) BibTeX
[ACC83b]
Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott, Richard Marshall: Algorithms for a Persistent Heap. Softw., Pract. Exper. 13(3): 259-271(1983) BibTeX
[ACO85]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[AF82]
...
[AFL85]
...
[AGO85]
Antonio Albano, Giorgio Ghelli, Renzo Orsini: The Implementation of Galileo's Persistent Values. Data Types and Persistence (Appin) 1985: 253-263 BibTeX
[AGOP85]
...
[AHU74]
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, ISBN 0-201-00029-6
BibTeX
[AI87]
...
[AITK84a]
...
[AITK84b]
...
[AITK85]
Hassan Aït-Kaci, Roger Nasr: Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin) 1985: 121-136 BibTeX
[ALBA83]
...
[ALLC83]
...
[ALN86]
...
[ALN87]
...
[ALS78]
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
[AM83]
James E. Allchin, Martin S. McKendry: Synchronization and Recovery of Actions. PODC 1983: 31-44 BibTeX
[AM84]
Malcolm P. Atkinson, Ronald Morrison: Persistent First Class Procedures are Enough. FSTTCS 1984: 223-240 BibTeX
[AM85a]
Malcolm P. Atkinson, Ronald Morrison: Procedures as Persistent Data Objects. ACM Trans. Program. Lang. Syst. 7(4): 539-559(1985) BibTeX
[AM285]
Malcolm P. Atkinson, Ronald Morrison: Types, Bindings and Parameters in a Persistent Environment. Data Types and Persistence (Appin) 1985: 3-20 BibTeX
[AN86a]
Hassan Aït-Kaci, Roger Nasr: Logic and Inheritance. POPL 1986: 219-228 BibTeX
[AN86b]
Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986) BibTeX
[AN86c]
...
[AN87a]
...
[AN87b]
Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29 BibTeX
[ANDE79]
...
[ANP87a]
...
[ANP87b]
Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632(1989) BibTeX
[ANS86]
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo: BABEL: A Base for an Experimental Library. SIGIR 1988: 175-190 BibTeX
[AOO82]
...
[AOO86]
...
[AS81]
...
[ATKI78]
Malcolm P. Atkinson: Programming Languages and Databases. VLDB 1978: 408-419 BibTeX
[BA86]
Peter Buneman, Malcolm P. Atkinson: Inheritance and Persistence in Database Programming Languages. SIGMOD Conference 1986: 4-15 BibTeX
[BAKE78]
Henry G. Baker Jr.: List Processing in Real Time on a Serial Computer. Commun. ACM 21(4): 280-294(1978) BibTeX
[BANC85]
François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 BibTeX
[BDMN73]
...
[BFL83]
Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73(1983) BibTeX
[BFN82]
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
[BG80]
Philip A. Bernstein, Nathan Goodman: Timestamp-Based Algorithms for Concurrency Control in Distributed Database Systems. VLDB 1980: 285-300 BibTeX
[BG83]
Philip A. Bernstein, Nathan Goodman: Multiversion Concurrency Control - Theory and Algorithms. ACM Trans. Database Syst. 8(4): 465-483(1983) BibTeX
[BGL81]
Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai: Two Part Proof Schema for Database Concurrency Control. Berkeley Workshop 1981: 71-84 BibTeX
[BMS80]
Rod M. Burstall, David B. MacQueen, Donald Sannella: HOPE: An Experimental Applicative Language. LISP Conference 1980: 136-143 BibTeX
[BMS84]
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
[BMW84]
Alexander Borgida, John Mylopoulos, Harry K. T. Wong: Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) 1982: 87-117 BibTeX
[BORG85]
Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985) BibTeX
[BOUR78]
...
[BR81]
Eike Best, Brian Randell: A Formal Model of Atomicity in Asynchronous Systems. Acta Inf. 16: 93-124(1981) BibTeX
[BR84]
Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. On Conceptual Modelling (Intervale) 1982: 277-312 BibTeX
[BRIN75]
Per Brinch Hansen: The Programming Language Concurrent Pascal. IEEE Trans. Software Eng. 1(2): 199-207(1975) BibTeX
[BROO82]
R. A. Brooker: A `Database' Subsystem for BCPL. Comput. J. 25(4): 448-464(1982) BibTeX
[BS83]
...
[BSW79]
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
[BUNE84]
...
[BUNE85]
Peter Buneman: Data Types For Database Programming. Data Types and Persistence (Appin) 1985: 91-100 BibTeX
[CARD83a]
...
[CARD83b]
...
[CARD84]
...
[CARD85]
...
[CARD86]
Luca Cardelli: Basic Polymorphic Typechecking. Sci. Comput. Program. 8(2): 147-172(1987) BibTeX
[CCA83]
...
[CH74]
...
[CHAL82]
...
[CHEN76]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
[CHIU82]
...
[CHUR40]
...
[CM81]
W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
BibTeX
[CM85]
Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41 BibTeX
[COCK84]
...
[COCK85]
W. Paul Cockshott: Addressing Mechanisms and Persistent Programming. Data Types and Persistence (Appin) 1985: 235-252 BibTeX
[CODD70]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
[CODD71a]
E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) BibTeX
[CODD71b]
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
[CODD79]
E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX
[CORM83]
...
[CW85]
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
[DATE83a]
C. J. Date: An Introduction to Database Systems, Volume II. Addison-Wesley 1983, ISBN 0-201-14474-3
BibTeX
[DATE83b]
C. J. Date: The Outer Join. ICOD 1983: 76-106 BibTeX
[DATE86]
C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986
BibTeX
[DAVI73]
...
[DAVI78]
Charles T. Davies Jr.: Data Processing Spheres of Control. IBM Systems Journal 17(2): 179-198(1978) BibTeX
[DD79]
...
[DD80a]
...
[DD80b]
Alan J. Demers, James E. Donahue: Data Types, Parameters, and Type Checking. POPL 1980: 12-23 BibTeX
[DH72]
...
[DHIL85]
...
[DIJK68]
...
[DK79]
Amaryllis Deliyanni, Robert A. Kowalski: Logic and Semantic Networks. Commun. ACM 22(3): 184-192(1979) BibTeX
[DN66]
...
[DUEC83]
...
[EEKMS85]
...
[EGLT76]
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
[FAIR82]
...
[FAIR85]
Jon Fairbairn: A New Type-Checker for a Functional Language. Data Types and Persistence (Appin) 1985: 69-87 BibTeX
[FI73]
Adin D. Falkoff, Kenneth E. Iverson: The Design of APL. IBM Journal of Research and Development 17(5): 324-334(1973) BibTeX
[FIND79]
...
[GHEL85]
...
[GM78]
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
[GMN84]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
[GMN79]
...
[GOGU83]
...
[GR83]
Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983
BibTeX
[GRAY78]
Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX
[HARP85]
Robert Harper: Modules and Persistence in Standard ML. Data Types and Persistence (Appin) 1985: 21-30 BibTeX
[HARP86]
...
[HB80]
Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92 BibTeX
[HL83]
Henry Lieberman, Carl Hewitt: A Real-Time Garbage Collector Based on the Lifetimes of Objects. Commun. ACM 26(6): 419-429(1983) BibTeX
[HM81]
Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX
[HMM86]
...
[HOAR74]
C. A. R. Hoare: Monitors: An Operating System Structuring Concept. Commun. ACM 17(10): 549-557(1974) BibTeX
[HUET76]
...
[IBM]
...
[ICHB83]
...
[JW78]
Kathleen Jensen, Niklaus Wirth: Pascal User Manual and Report, Second Edition. Springer 1975, ISBN 3-540-90144-2
BibTeX
[KAEH81]
...
[KMPRSZ83]
...
[KNUT73]
Donald E. Knuth: The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition. Addison-Wesley 1973
BibTeX
[KNUT79]
...
[KORT81]
...
[KOWA78]
Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103 BibTeX
[KR81]
H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981) BibTeX
[KRAB75]
...
[LAMP81]
Butler W. Lampson: Atomic Transactions. Advanced Course: Distributed Systems 1980: 246-265 BibTeX
[LAND66]
...
[LHJLSW83]
...
[LISK81]
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
BibTeX
[LISK82]
Barbara Liskov: On Linguistic Support for Distributed Programs. IEEE Trans. Software Eng. 8(3): 203-210(1982) BibTeX
[LS83]
Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404(1983) BibTeX
[LISK84]
Barbara Liskov: The Argus Language and System. Advanced Course: Distributed Systems 1984: 343-430 BibTeX
[LORI77]
Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977) BibTeX
[LNCS84]
...
[LYNC82]
Nancy A. Lynch: Concurrency Control for Resilient Nested Transactions. PODS 1983: 166-181 BibTeX
[LZ74]
Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974) BibTeX
[MACQ85]
David B. MacQueen: Modules for Standard ML. LISP and Functional Programming 1984: 198-207 BibTeX
[MACQ86]
David B. MacQueen: Using Dependent Types to Express Modular Structure. POPL 1986: 277-286 BibTeX
[MATT85a]
...
[MATT85]
David C. J. Matthews: An Overview of the Poly Programming Language. Data Types and Persistence (Appin) 1985: 43-50 BibTeX
[MBW80]
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
[MCAR62]
...
[MD85]
...
[MERR77]
T. H. Merrett: Relations as Programming Language Elements. Inf. Process. Lett. 6(1): 29-33(1977) BibTeX
[MERR84]
...
[MERR85a]
T. H. Merrett: First Steps to Algebraic Processing of Text. ICOD-2 Workshop on New Applications of Data Bases 1983: 109-127 BibTeX
[MERR85]
T. H. Merrett: Persistence and Aldat. Data Types and Persistence (Appin) 1985: 173-188 BibTeX
[MILN78]
Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978) BibTeX
[MILN80]
Robin Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 Springer 1980, ISBN 3-540-10235-3
BibTeX
[MILN84]
Robin Milner: A Proposal for Standard ML. LISP and Functional Programming 1984: 184-197 BibTeX
[MILN85]
...
[MINS75]
...
[MITC79]
...
[MM79]
...
[MOSS81]
...
[MP84]
...
[MP85]
John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. POPL 1985: 37-51 BibTeX
[MS82]
David B. MacQueen, Ravi Sethi: A Semantic Model of Types for Applicative Languages. Symposium on LISP and Functional Programming 1982: 243-252 BibTeX
[MSP84]
David B. MacQueen, Gordon D. Plotkin, Ravi Sethi: An Ideal Model for Recursive Polymorphic Types. POPL 1984: 165-174 BibTeX
[MW80]
John Mylopoulos, Harry K. T. Wong: Some Features of the TAXIS Data Model. VLDB 1980: 399-410 BibTeX
[NAUR63]
...
[NIKH84]
...
[NIKH87]
...
[ORGA84]
...
[PS85]
...
[REED78]
...
[REIS84]
Steven P. Reiss: Graphical Program Development with PECAN Program Development Systems. Software Development Environments (SDE) 1984: 30-41 BibTeX
[REISS]
...
[REIT84]
Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX
[REYN70]
...
[REYN85]
John C. Reynolds: Three Approaches to Type Structure. TAPSOFT, Vol.1 1985: 97-138 BibTeX
[REYN86]
...
[ROBI65]
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX
[ROWE80]
...
[RS79]
Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81 BibTeX
[SCHM77]
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
[SCHM78]
Joachim W. Schmidt: Type Concepts for Database Definition. JCDKB 1978: 215-244 BibTeX
[SCHW84]
...
[SCOT82]
Dana S. Scott: Domains for Denotational Semantics. ICALP 1982: 577-613 BibTeX
[SF]
...
[SFL81]
...
[SFL83]
...
[SHIP81]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX
[SHOP79]
Jonathan E. Shopiro: Theseus - A Programming Language for Relational Databases. ACM Trans. Database Syst. 4(4): 493-517(1979) BibTeX
[SOLT81]
...
[SS77]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
[SS84]
Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984) BibTeX
[STON84]
Michael Stonebraker: A Database Perspective. On Conceptual Modelling (Intervale) 1982: 457-458 BibTeX
[TENN77]
Robert D. Tennent: Language Design Methods Based on Semantic Principles. Acta Inf. 8: 97-112(1977) BibTeX
[TURN79]
...
[TURN81]
...
[ULLM82]
Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX
[VANR83]
...
[VANW75]
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
[VERH76]
...
[WARR83]
...
[WEIH83]
William E. Weihl: Data-dependent Concurrency Control and Recovery (Extended Abstract). PODC 1983: 63-75 BibTeX
[WEIH84]
...
[WEIH85]
William E. Weihl: Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin) 1985: 191-212 BibTeX
[WIRT71]
Niklaus Wirth: The Programming Language Pascal. Acta Inf. 1: 35-63(1971) BibTeX
[WL85]
William E. Weihl, Barbara Liskov: Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269(1985) BibTeX
[WSKRV81]
...
[XERO81]
...
[ZDON84]
...
[ZW85]
...
[ZW85]
...
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Data Types and Persistence: Copyright © by Springer
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:06:10 2009