{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:21:08Z","timestamp":1725643268646},"publisher-location":"London","reference-count":31,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196464"},{"type":"electronic","value":"9781447131786"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-1-4471-3178-6_4","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T07:53:50Z","timestamp":1323849230000},"page":"48-66","source":"Crossref","is-referenced-by-count":6,"title":["Protection in Persistent Object Systems"],"prefix":"10.1007","author":[{"given":"R.","family":"Morrison","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. L.","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. C. H.","family":"Connor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Q. I.","family":"Cutts","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Kirby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Dearle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Rosenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Stemple","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"196","volume-title":"Types for Databases: The Galileo Experience","author":"A Albano","year":"1989","unstructured":"Albano, A., Ghelli, G. & Orsini, R. \u201cTypes for Databases: The Galileo Experience.\u201d Proc. 2nd International Workshop on Database Programming Languages, Oregon, June 1989, pp 196\u2013206."},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/comjnl\/29.1.1","volume":"29","author":"M Anderson","year":"1986","unstructured":"Anderson, M., Pose, R.D. & Wallace, C.S. \u201cA Password-Capability System.\u201d The Computer Journal, 29, 1, 1986, pp. 1\u20138.","journal-title":"The Computer Journal"},{"issue":"4","key":"4_CR3","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1093\/comjnl\/26.4.360","volume":"26","author":"MP Atkinson","year":"1983","unstructured":"Atkinson, M.P., Bailey, P.J., Chisholm, K.J., Cockshott, W.P. & Morrison, R. \u201cAn Approach to Persistent Programming.\u201d The Computer Journal, 26, 4, November 1983, pp. 360\u2013365.","journal-title":"The Computer Journal"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/comjnl\/31.2.99","volume":"31","author":"MP Atkinson","year":"1988","unstructured":"Atkinson, M.P., Buneman, O.P. & Morrison, R. \u201cBinding and Type Checking in Database Programming Languages.\u201d The Computer Journal, 31, 2, 1988, pp. 99\u2013109.","journal-title":"The Computer Journal"},{"key":"4_CR5","first-page":"1","volume-title":"Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store","author":"MP Atkinson","year":"1987","unstructured":"Atkinson, M.P. & Morrison, R. \u201cPolymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store.\u201d 2nd International Workshop on Persistent Object Systems, Appin, August 1987, pp. 1\u201312."},{"key":"4_CR6","first-page":"90","volume-title":"A Simplification Algorithm for Integrity Assertions and Concrete Views","author":"PA Bernstein","year":"1981","unstructured":"Bernstein, P. A. & Blaustein, B. T. \u201cA Simplification Algorithm for Integrity Assertions and Concrete Views.\u201d Proc. of the Fifth International Computer Software and Applications Conference, 1981, pp. 90\u201399."},{"key":"4_CR7","unstructured":"Bernstein, P. A., Blaustein, B. T, & Clarke, E. M. \u201cFast Maintenance of Semantic Assertions Using Redundant Aggregate Data.\u201d Proc. of the Sixth International Conference on Very Large Databases, 1980, pp. 126\u2013136."},{"key":"4_CR8","volume-title":"Lecture Notes in Computer Science","author":"R Burstall","year":"1984","unstructured":"Burstall, R. & Lampson, B. \u201cA Kernel Language for Abstract Data Types and Modules.\u201d Proc. international symposium on the semantics of data types, Sophia-Antipolis, France, 1984. In Lecture Notes in Computer Science, 173. Springer-Verlag, 1984."},{"key":"4_CR9","volume-title":"Amber. Tech. Report AT&T. Bell Labs","author":"L Cardelli","year":"1985","unstructured":"Cardelli. L. \u201cAmber.\u201d Tech. Report AT&T. Bell Labs. Murray Hill, U.S.A., 1985."},{"key":"4_CR10","volume-title":"DEC SRC Report","author":"L Cardelli","year":"1989","unstructured":"Cardelli, L. \u201cTypeful Programming.\u201d DEC SRC Report, May 1989."},{"issue":"4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli, L. & Wegner, P. \u201cOn Understanding Types, Data Abstraction and Polymorphism.\u201d ACM Computing Surveys, 17, 4, December 1985, pp. 471\u2013523.","journal-title":"ACM Computing Surveys"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Connor, R.C.H., Dearle, A., Morrison, R. & Brown, A.L. \u201cExistentially Quantified Types as a Database Viewing Mechanism.\u201d Advances in Database Technology - EDBT90, Venice. In Lecture Notes in Computer Science, 416. Springer-Verlag, 1990, pp. 301\u2013315.","DOI":"10.1007\/BFb0022178"},{"issue":"3","key":"4_CR13","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/365230.365252","volume":"9","author":"JB Dennis","year":"1966","unstructured":"Dennis, J.B. & Van Horn, E.C. \u201cProgramming Semantics for Multiprogrammed Computations.\u201d Comm. ACM, 9, 3, 1966, pp 143\u2013145.","journal-title":"Comm. ACM"},{"issue":"7","key":"4_CR14","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/361011.361070","volume":"17","author":"RS Fabry","year":"1974","unstructured":"Fabry, R.S. \u201cCapability Based Addressing.\u201d Comm.ACM, 17, 7, 1974, pp. 403\u2013412.","journal-title":"Comm.ACM"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TC.1973.5009130","volume":"7","author":"EA Feustal","year":"1973","unstructured":"Feustal, E.A. \u201cOn the Advantages of Tagged Architecture.\u201d IEEE Transactions on Computers, C-22, 7, July 1973, pp. 644\u2013656.","journal-title":"IEEE Transactions on Computers, C-22"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Hsu, T. & Imielinski, T. \u201cIntegrity Checking for Multiple Updates.\u201d Proc. of the ACM- SIGMOD International Conference on Management of Data, 1985, pp. 152\u2013168.","DOI":"10.1145\/318898.318914"},{"issue":"5","key":"4_CR17","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1145\/359488.359493","volume":"21","author":"AK Jones","year":"1978","unstructured":"Jones, A.K. & Liskov, B. \u201cA language extension for expressing constraints on data access.\u201d Comm.ACM, 21, 5, 1978, pp. 358\u2013367.","journal-title":"Comm.ACM"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1145\/320521.320540","volume":"2","author":"RA Lorie","year":"1977","unstructured":"Lorie, R.A. \u201cPhysical Integrity in a Large Segmented Database.\u201d ACM Transactions on Database Systems, 2, 1, March 1977, pp. 91\u2013104.","journal-title":"ACM Transactions on Database Systems"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/58562.59302","volume":"36","author":"W McCune","year":"1989","unstructured":"McCune, W. & Henschen, L. \u201cMaintaining State Constraints in Relational Databases.\u201d Journal of the ACM, 36, 1, January 1989, pp. 46\u201368.","journal-title":"Journal of the ACM"},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"JC Mitchell","year":"1988","unstructured":"Mitchell J.C. & Plotkin G.D. \u201cAbstract Types have Existential type.\u201d ACM Transactions on Programming Languages and Systems, 10, 3, July 1988, pp. 470\u2013502.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR21","volume-title":"Persistent Programming Research Report PPRR-77-89","author":"R Morrison","year":"1989","unstructured":"Morrison, R., Brown, A.L., Connor, R.C.H. & Dearle, A. \u201cNapier88 Reference Manual.\u201d Persistent Programming Research Report PPRR-77-89, Universities of Glasgow and St Andrews, 1989."},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/44326.44328","volume":"23","author":"R Morrison","year":"1988","unstructured":"Morrison, R., Brown, A.L., Dearle, A. & Atkinson, M.P. \u201cFlexible Incremental Binding in a Persistent Object Store.\u201d ACM Sigplan Notices, 23, 4, April 1988, pp. 27\u201334.","journal-title":"ACM Sigplan Notices"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/850708.850709","volume":"14","author":"GJ Myers","year":"1980","unstructured":"Myers, G.J. & Buckingham, B.R.S. \u201cA Hardware Implementation of Capability-Based Addressing.\u201d Operating Systems Review, 14, 4, 1980.","journal-title":"Operating Systems Review"},{"key":"4_CR24","unstructured":"\u201cThe PS-algol Reference Manual fourth edition.\u201d Persistent Programming Research Report PPRR-12-87, Universities of Glasgow and St. Andrews, 1987."},{"key":"4_CR25","first-page":"222","volume-title":"A Capability-Based Workstation to Support Software Engineering","author":"J Rosenberg","year":"1985","unstructured":"Rosenberg, J. & Abramson, D.A. \u201cA Capability-Based Workstation to Support Software Engineering.\u201d Proceedings of 18th Annual Hawaii International Conference on System Sciences, 1985, pp. 222\u2013230."},{"key":"4_CR26","volume-title":"Stabilitity in a Persistent Store based on Large Virtual Memory","author":"J Rosneberg","year":"1990","unstructured":"Rosneberg, J., Henskens, F.A., Brown, A.L. & Morrison, R. \u201cStabilitity in a Persistent Store based on Large Virtual Memory.\u201d Proc of the International Workshop on Security and Persistence of Information, Bremen, West Germany, May 1990."},{"key":"4_CR27","volume-title":"IEEE - Data Engineering","author":"JW Schmidt","year":"1989","unstructured":"Schmidt, J.W., Wetzel, I., Borgida, A. & Mylopoulos, J. \u201cDatabase Programming by Formal Refinement of Conceptual Design.\u201d IEEE - Data Engineering, September 1989."},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"12","author":"T Sheard","year":"1989","unstructured":"Sheard, T. & Stemple, D. \u201cAutomatic Verification of Database Transaction Safety.\u201d ACM Transactions on Database Systems, 12, 3, September, 1989, pp. 322\u2013368.","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Stemple, D., Fegaras, L., Sheard, T. & Socorro, A. \u201cExceeding the Limits of Polymorphism in Database Programming Languages.\u201d Advances in Database Technology - EDBT90, Venice. In Lecture Notes in Computer Science, 416. Springer-Verlag, 1990, pp. 269\u2013285.","DOI":"10.1007\/BFb0022176"},{"key":"4_CR30","volume-title":"The Cambridge CAP Computer and its Operating System","author":"MV Wilkes","year":"1979","unstructured":"Wilkes, M.V. & Needham, R.M. The Cambridge CAP Computer and its Operating System. Elsevier North Holland, Inc., 1979."},{"key":"4_CR31","volume-title":"HYDRA\/C.mmp: An Experimental Computer System","author":"WA Wulf","year":"1981","unstructured":"Wulf, W.A., Levin, R. & Harbison, S.P. HYDRA\/C.mmp: An Experimental Computer System. McGraw-Hill, New York, 1981."}],"container-title":["Workshops in Computing","Security and Persistence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3178-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T22:28:55Z","timestamp":1561069735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3178-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540196464","9781447131786"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3178-6_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1990]]}}}