{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:32Z","timestamp":1772163992601,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,21]],"date-time":"2009-01-21T00:00:00Z","timestamp":1232496000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,1,21]]},"DOI":"10.1145\/1480881.1480890","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T09:41:38Z","timestamp":1232444498000},"page":"53-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Masked types for sound object initialization"],"prefix":"10.1145","author":[{"given":"Xin","family":"Qi","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew C.","family":"Myers","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297050"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394776"},{"key":"e_1_3_2_1_3_1","volume-title":"8th International Conference (VMCAI 2007","author":"Cherem Sigmund","year":"2007","unstructured":"Sigmund Cherem and Radu Rugina . Maintaining doubly-linked list invariants in shape analysis with local reasoning. In Verification, Model Checking, and Abstract Interpretation , 8th International Conference (VMCAI 2007 ), Nice, France , January 2007 . Sigmund Cherem and Radu Rugina. Maintaining doubly-linked list invariants in shape analysis with local reasoning. In Verification, Model Checking, and Abstract Interpretation, 8th International Conference (VMCAI 2007), Nice, France, January 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.9.a23"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949332"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the first International Workshop on Alias Confinement and Ownership (IWACO)","author":"F\u00e4hndrich Manuel","year":"2003","unstructured":"Manuel F\u00e4hndrich and K. Rustan M. Leino . Heap monotonic typestate . In Proceedings of the first International Workshop on Alias Confinement and Ownership (IWACO) , July 2003 . Manuel F\u00e4hndrich and K. Rustan M. Leino. Heap monotonic typestate. In Proceedings of the first International Workshop on Alias Confinement and Ownership (IWACO), July 2003."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297052"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146254"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301638"},{"key":"e_1_3_2_1_12_1","volume-title":"The Java Language Specification","author":"Gosling James","year":"2005","unstructured":"James Gosling , Bill Joy , Guy Steele , and Gilad Bracha . The Java Language Specification . Addison Wesley , 3 rd edition, 2005 . ISBN 0321246780. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison Wesley, 3rd edition, 2005. ISBN 0321246780.","edition":"3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108798"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45102-1_7"},{"key":"e_1_3_2_1_16_1","volume-title":"Eiffel analysis, design and programming language. ECMA Standard","author":"International ECMA","year":"2005","unstructured":"ECMA International . Eiffel analysis, design and programming language. ECMA Standard 367, June 2005 . ECMA International. Eiffel analysis, design and programming language. ECMA Standard 367, June 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"February","author":"Haskell","year":"1999","unstructured":"Haskell 98 : A non-strict, purely functional language , February 1999 . Available at http:\/\/www.haskell.org\/onlinereport\/. Haskell 98: A non-strict, purely functional language, February 1999. Available at http:\/\/www.haskell.org\/onlinereport\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/359488.359493"},{"key":"e_1_3_2_1_19_1","unstructured":"JSR 308: Annotations on Java Types. Available at http:\/\/groups.csail.mit.edu\/pag\/jsr308\/.  JSR 308: Annotations on Java Types. Available at http:\/\/groups.csail.mit.edu\/pag\/jsr308\/."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286953"},{"key":"e_1_3_2_1_21_1","first-page":"56","volume-title":"Abstraction and Specification in Program Development","author":"Liskov B.","year":"1986","unstructured":"B. Liskov and J. Guttag . Data abstraction . In Abstraction and Specification in Program Development , chapter 4, pages 56 -- 98 . MIT Press and McGraw Hill , 1986 . B. Liskov and J. Guttag. Data abstraction. In Abstraction and Specification in Program Development, chapter 4, pages 56--98. MIT Press and McGraw Hill, 1986."},{"key":"e_1_3_2_1_22_1","volume-title":"MIT Laboratory for Computer Science","author":"Liskov Barbara","year":"1994","unstructured":"Barbara Liskov , Dorothy Curtis , Mark Day , Sanjay Ghemawat , Robert Gruber , Paul Johnson , and Andrew C. Myers . Theta Reference Manual. Programming Methodology Group Memo 88 , MIT Laboratory for Computer Science , Cambridge, MA , February 1994 . Available at http:\/\/www.pmg.lcs.mit.edu\/papers\/thetaref\/. Barbara Liskov, Dorothy Curtis, Mark Day, Sanjay Ghemawat, Robert Gruber, Paul Johnson, and Andrew C. Myers. Theta Reference Manual. Programming Methodology Group Memo 88, MIT Laboratory for Computer Science, Cambridge, MA, February 1994. Available at http:\/\/www.pmg.lcs.mit.edu\/papers\/thetaref\/."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_24_1","volume-title":"The Definition of Standard ML","author":"Milner Robin","year":"1990","unstructured":"Robin Milner , Mads Tofte , and Robert Harper . The Definition of Standard ML . MIT Press , Cambridge, MA , 1990 . Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765947"},{"key":"e_1_3_2_1_27_1","volume-title":"Masked types. Technical report, Computer and Information Science","author":"Qi Xin","year":"2008","unstructured":"Xin Qi and Andrew C. Myers . Masked types. Technical report, Computer and Information Science , Cornell University , October 2008 . http:\/\/hdl.handle.net\/1813\/11563. Xin Qi and Andrew C. Myers. Masked types. Technical report, Computer and Information Science, Cornell University, October 2008. http:\/\/hdl.handle.net\/1813\/11563."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/141936.141958"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1245302"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/316158.316178"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_32_1","volume-title":"October","author":"Microsystems Sun","year":"1995","unstructured":"Sun Microsystems . Java Language Specification, version 1.0 beta edition , October 1995 . Available at ftp:\/\/ftp.javasoft.com\/docs\/javaspec.ps.zip. Sun Microsystems. Java Language Specification, version 1.0 beta edition, October 1995. Available at ftp:\/\/ftp.javasoft.com\/docs\/javaspec.ps.zip."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.038"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/647476.760384"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Savannah GA USA","acronym":"POPL09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480890","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480881.1480890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:59Z","timestamp":1750238999000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480881.1480890"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,21]]},"references-count":35,"alternative-id":["10.1145\/1480881.1480890","10.1145\/1480881"],"URL":"https:\/\/doi.org\/10.1145\/1480881.1480890","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1594834.1480890","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,1,21]]},"assertion":[{"value":"2009-01-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}