乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:05:01Z","timestamp":1725750301461},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2003,1,15]]},"DOI":"10.1145\/604131.604156","type":"proceedings-article","created":{"date-parts":[[2003,6,2]],"date-time":"2003-06-02T17:12:42Z","timestamp":1054573962000},"page":"213-223","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":112,"title":["Ownership types for object encapsulation"],"prefix":"10.1145","author":[{"given":"Chandrasekhar","family":"Boyapati","sequence":"first","affiliation":[{"name":"Massachusetts Intitute of Technology, Cambridge, MA"}]},{"given":"Barbara","family":"Liskov","sequence":"additional","affiliation":[{"name":"Massachusetts Intitute of Technology, Cambridge, MA"}]},{"given":"Liuba","family":"Shrira","sequence":"additional","affiliation":[{"name":"Brandeis University, Waltham, MA"}]}],"member":"320","published-online":{"date-parts":[[2003,1,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263720"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_3_1","volume-title":"European Conference for Object-Oriented Programming (ECOOP)","author":"Almeida P. S.","year":"1997","unstructured":"P. S. Almeida . Balloon types : Controlling sharing of state in data types . In European Conference for Object-Oriented Programming (ECOOP) , June 1997 .]] P. S. Almeida. Balloon types: Controlling sharing of state in data types. In European Conference for Object-Oriented Programming (ECOOP), June 1997.]]"},{"key":"e_1_3_2_1_4_1","volume-title":"Persistent Object Systems (POS)","author":"Atkinson M. P.","year":"2000","unstructured":"M. P. Atkinson , M. A. Dmitriev , C. Hamilton , and T. Printezis . Scalable and recoverable implementation of object evolution for the PJama 1 platform . In Persistent Object Systems (POS) , September 2000 .]] M. P. Atkinson, M. A. Dmitriev, C. Hamilton, and T. Printezis. Scalable and recoverable implementation of object evolution for the PJama 1 platform. In Persistent Object Systems (POS), September 2000.]]"},{"key":"e_1_3_2_1_5_1","volume-title":"Persistent Object Systems (POS)","author":"Atkinson M. P.","year":"1996","unstructured":"M. P. Atkinson , M. J. Jordan , L. Daynes , and S. Spence . Design issues for persistent Java: A type-safe, object-oriented, orthogonally persistent system . In Persistent Object Systems (POS) , May 1996 .]] M. P. Atkinson, M. J. Jordan, L. Daynes, and S. Spence. Design issues for persistent Java: A type-safe, object-oriented, orthogonally persistent system. In Persistent Object Systems (POS), May 1996.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503289"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38748"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320392"},{"key":"e_1_3_2_1_9_1","volume-title":"JPS: A distributed persistent Java system. SM thesis","author":"Boyapati C.","year":"1998","unstructured":"C. Boyapati . JPS: A distributed persistent Java system. SM thesis , Massachusetts Institute of Technology , September 1998 .]] C. Boyapati. JPS: A distributed persistent Java system. SM thesis, Massachusetts Institute of Technology, September 1998.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_13_1","volume-title":"November","author":"Boyapati C.","year":"2002","unstructured":"C. Boyapati , B. Liskov , L. Shrira , C. Moh , and S. Richman . Lazy modular upgrades in persistent object stores. Submitted for publication , November 2002 .]] C. Boyapati, B. Liskov, L. Shrira, C. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. Submitted for publication, November 2002.]]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504287"},{"key":"e_1_3_2_1_15_1","volume-title":"November","author":"Boyapati C.","year":"2002","unstructured":"C. Boyapati , A. Salcianu , W. Beebee , Jr., and M. Rinard . Ownership types for safe region-based memory management in Real-Time Java. Submitted for publication , November 2002 .]] C. Boyapati, A. Salcianu, W. Beebee, Jr., and M. Rinard. Ownership types for safe region-based memory management in Real-Time Java. Submitted for publication, November 2002.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/63320.66507"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191915"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582447"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680008"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_23_1","volume-title":"Workshop on Foundations of Object-Oriented Languages (FOOL)","author":"Clarke D. G.","year":"2003","unstructured":"D. G. Clarke and T. Wrigstad . External uniqueness . In Workshop on Foundations of Object-Oriented Languages (FOOL) , January 2003 .]] D. G. Clarke and T. Wrigstad. External uniqueness. In Workshop on Foundations of Object-Oriented Languages (FOOL), January 2003.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292564"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217852"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.50908"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_32_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley , 1995 .]] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.]]"},{"key":"e_1_3_2_1_33_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"1996","unstructured":"J. Gosling , B. Joy , and G. Steele . The Java Language Specification . Addison-Wesley , 1996 .]] J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.]]"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/646156.679836"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/130943.130947"},{"volume-title":"February","year":"1997","key":"e_1_3_2_1_38_1","unstructured":"JavaSoft. Inner class specification , February 1997 . Available at http:\/\/java.sun.com\/products\/JDK\/1.1.]] JavaSoft. Inner class specification, February 1997. Available at http:\/\/java.sun.com\/products\/JDK\/1.1.]]"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158628"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503276"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/954666.971189"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286953"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512559"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97956"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/646156.679840"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/359763.359789"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_50_1","volume-title":"Object-Oriented Programming in the Beta Programming Language","author":"Madsen O. L.","year":"1993","unstructured":"O. L. Madsen , B. Moller-Pedersen , and K. Nygaard . Object-Oriented Programming in the Beta Programming Language . Addison-Wesley , 1993 .]] O. L. Madsen, B. Moller-Pedersen, and K. Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993.]]"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/646154.758676"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378851"},{"key":"e_1_3_2_1_53_1","volume-title":"Programming Languages and Fundamentals of Programming.","author":"Muller P.","year":"1999","unstructured":"P. Muller and A. Poetzsch-Heffter . Universes: A type system for controlling representation exposure . In A. Poetzsch-Heffter and J. Meyer, editors, Programming Languages and Fundamentals of Programming. 1999 .]] P. Muller and A. Poetzsch-Heffter. Universes: A type system for controlling representation exposure. In A. Poetzsch-Heffter and J. Meyer, editors, Programming Languages and Fundamentals of Programming. 1999.]]"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263714"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/832260.833174"},{"key":"e_1_3_2_1_56_1","volume-title":"ObjectStore Advanced C++ API User Guide Release 5.1","author":"Object Design Inc.","year":"1997","unstructured":"Object Design Inc. ObjectStore Advanced C++ API User Guide Release 5.1 , 1997 .]] Object Design Inc. ObjectStore Advanced C++ API User Guide Release 5.1, 1997.]]"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/38765.38817"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/271510.271517"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353182"},{"key":"e_1_3_2_1_62_1","volume-title":"Programming Concepts and Methods.","author":"Wadler P.","year":"1990","unstructured":"P. Wadler . Linear types can change the world . In M. Broy and C. Jones, editors, Programming Concepts and Methods. 1990 .]] P. Wadler. Linear types can change the world. In M. Broy and C. Jones, editors, Programming Concepts and Methods. 1990.]]"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"POPL03: POPL '03 - The 30th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"New Orleans Louisiana USA","acronym":"POPL03"},"container-title":["Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/604131.604156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T20:47:40Z","timestamp":1693860460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/604131.604156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1,15]]},"references-count":56,"alternative-id":["10.1145\/604131.604156","10.1145\/604131"],"URL":"https:\/\/doi.org\/10.1145\/604131.604156","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/640128.604156","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2003,1,15]]},"assertion":[{"value":"2003-01-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}