{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:04Z","timestamp":1725471244550},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540357261"},{"type":"electronic","value":"9783540357278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11785477_10","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T09:04:52Z","timestamp":1159175092000},"page":"180-185","source":"Crossref","is-referenced-by-count":3,"title":["Peak Objects"],"prefix":"10.1007","author":[{"given":"William R.","family":"Cook","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/62070.45066","volume":"19","author":"M.P. Atkinson","year":"1987","unstructured":"Atkinson, M.P., Buneman, O.P.: Types and persistence in database programming languages. ACM Comput. Surv.\u00a019(2), 105\u2013170 (1987)","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"10_CR2","doi-asserted-by":"publisher","first-page":"894","DOI":"10.1145\/1101821.1101824","volume":"52","author":"A. Banerjee","year":"2005","unstructured":"Banerjee, A., Naumann, D.A.: Ownership confinement ensures representation independence for object-oriented programs. J. ACM\u00a052(6), 894\u2013960 (2005)","journal-title":"J. ACM"},{"key":"10_CR3","unstructured":"Blackburn, S., Zigman, J.N.: Concurrency \u2014 the fly in the ointment? In: POS\/PJW, pp. 250\u2013258 (1998)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/604131.604156","volume-title":"POPL 2003: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"C. Boyapati","year":"2003","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: POPL 2003: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 213\u2013223. ACM Press, New York (2003)"},{"key":"10_CR5","volume-title":"The Calculi of Lambda Conversion","author":"A. Church","year":"1951","unstructured":"Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton (1951)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45337-7_4","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"D.G. Clarke","year":"2001","unstructured":"Clarke, D.G., Noble, J., Potter, J.: Simple Ownership Types for Object Containment. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 53\u201376. Springer, Heidelberg (2001)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Semantics of Data Types","author":"W. Cook","year":"1984","unstructured":"Cook, W.: Object-oriented programming versus abstract data types. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173, Springer, Heidelberg (1984)"},{"key":"10_CR8","unstructured":"Cook, W.R., Ibrahim, A.: Integrating programming languages & databases: What\u2019s the problem (2005), Available from http:\/\/www.cs.utexas.edu\/users\/wcook\/projects\/dbpl\/"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representations. Acta Inf.\u00a01, 271\u2013281 (1972)","journal-title":"Acta Inf."},{"key":"10_CR10","first-page":"91","volume-title":"ECCOP 1998: Proceedings of the 12th European Conference on Object-Oriented Programming","author":"S. Krishnamurthi","year":"1998","unstructured":"Krishnamurthi, S., Felleisen, M., Friedman, D.P.: Synthesizing object-oriented and functional design to promote re-use. In: ECCOP 1998: Proceedings of the 12th European Conference on Object-Oriented Programming, pp. 91\u2013113. Springer, Heidelberg (1998)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/154766.155367","volume-title":"HOPL-II: The second ACM SIGPLAN conference on History of programming languages","author":"B. Liskov","year":"1993","unstructured":"Liskov, B.: A history of clu. In: HOPL-II: The second ACM SIGPLAN conference on History of programming languages, pp. 133\u2013147. ACM Press, New York (1993)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"MacQueen, D.B.: Modules for standard ml. In: Proc. of the ACM Conf. on Lisp and Functional Programming (1984)","DOI":"10.1145\/800055.802036"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Maier, D.: Representing database programs as objects. In: Bancilhon, F., Buneman, P. (eds.) Advances in Database Programming Languages, Papers from DBPL-1, pp. 377\u2013386. ACM Press \/ Addison-Wesley (1987)","DOI":"10.1145\/101620.101642"},{"key":"10_CR14","first-page":"37","volume-title":"Proc. of the ACM Symp. on Principles of Programming Languages","author":"J.C. Mitchell","year":"1985","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. In: Proc. of the ACM Symp. on Principles of Programming Languages, pp. 37\u201351. ACM Press, New York (1985)"},{"key":"10_CR15","unstructured":"Odersky, M., Zenger, M.: Independently extensible solutions to the expression problem. In: Proc. FOOL 12 (January 2005)"},{"issue":"10","key":"10_CR16","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1022594.1022596","volume":"47","author":"D.A. Patterson","year":"2004","unstructured":"Patterson, D.A.: Latency lags bandwith. Commun. ACM\u00a047(10), 71\u201375 (2004)","journal-title":"Commun. ACM"},{"key":"10_CR17","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1145\/1028976.1028988","volume-title":"OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"N. Scharli","year":"2004","unstructured":"Scharli, N., Black, A.P., Ducasse, S.: Object-oriented encapsulation for dynamically typed languages. In: OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 130\u2013149. ACM Press, New York (2004)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-24851-4_6","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"M. Torgersen","year":"2004","unstructured":"Torgersen, M.: The Expression Problem Revisited. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 123\u2013146. Springer, Heidelberg (2004)"},{"key":"10_CR20","volume-title":"Remoting Patterns: Foundations of Enterprise, Internet and Realtime Distributed Object Middleware","author":"M. V\u00f6lter","year":"2005","unstructured":"V\u00f6lter, M., Kircher, M., Zdun, U.: Remoting Patterns: Foundations of Enterprise, Internet and Realtime Distributed Object Middleware. Wiley, Chichester (2005)"},{"key":"10_CR21","unstructured":"Wadler, P.: The Expression Problem (November 1998), http:\/\/www.cse.ohio-state.edu\/~gb\/cis888.07g\/java-genericity\/20"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/949305.949318","volume-title":"OOPSLA 2003: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications","author":"T. Zhao","year":"2003","unstructured":"Zhao, T., Palsber, J., Vite, J.: Lightweight confinement for featherweight java. In: OOPSLA 2003: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pp. 135\u2013148. ACM Press, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2006 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11785477_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:25Z","timestamp":1605643765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11785477_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540357261","9783540357278"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11785477_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}