{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:12:16Z","timestamp":1761988336516,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,7]],"date-time":"2010-11-07T00:00:00Z","timestamp":1289088000000},"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":[[2010,11,7]]},"DOI":"10.1145\/1882291.1882356","type":"proceedings-article","created":{"date-parts":[[2010,11,12]],"date-time":"2010-11-12T14:38:38Z","timestamp":1289572718000},"page":"375-376","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Building and using pluggable type systems"],"prefix":"10.1145","author":[{"given":"Michael D.","family":"Ernst","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"given":"Mahmood","family":"Ali","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167479"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Object-Oriented Programming Systems, Languages, and Applications (OOPSLA","author":"Ekman Torbj\u00f6rn","year":"2007","unstructured":"Torbj\u00f6rn Ekman and G\u00f6rel Hedin . The JastAdd extensible Java compiler . In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007 ), pages 1 -- 18 , Montr\u00e9al , Canada, October 23--25, 2007. 10.1145\/1297027.1297029 Torbj\u00f6rn Ekman and G\u00f6rel Hedin. The JastAdd extensible Java compiler. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), pages 1--18, Montr\u00e9al, Canada, October 23--25, 2007. 10.1145\/1297027.1297029"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.9.a23"},{"volume-title":"September 12, 2008.","author":"Ernst Michael D.","key":"e_1_3_2_1_4_1","unstructured":"Michael D. Ernst . Type Annotations specification (JSR 308). http:\/\/types.cs.washington.edu\/jsr308\/ , September 12, 2008. Michael D. Ernst. Type Annotations specification (JSR 308). http:\/\/types.cs.washington.edu\/jsr308\/, September 12, 2008."},{"key":"e_1_3_2_1_5_1","volume-title":"Java Concurrency in Practice","author":"Goetz Brian","year":"2006","unstructured":"Brian Goetz , Tim Peierls , Joshua Bloch , Joseph Bowbeer , David Holmes , and Doug Lea . Java Concurrency in Practice . Addison-Wesley , 2006 . Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug Lea. Java Concurrency in Practice. Addison-Wesley, 2006."},{"key":"e_1_3_2_1_6_1","first-page":"321","volume-title":"Object-Oriented Programming Systems, Languages, and Applications (OOPSLA","author":"Greenfieldboyce David","year":"2007","unstructured":"David Greenfieldboyce and Jeffrey S. Foster . Type qualifier inference for Java . In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007 ), pages 321 -- 336 , Montr\u00e9al , Canada, October 23--25, 2007. 10.1145\/1297027.1297051 David Greenfieldboyce and Jeffrey S. Foster. Type qualifier inference for Java. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), pages 321--336, Montr\u00e9al, Canada, October 23--25, 2007. 10.1145\/1297027.1297051"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108798"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390656"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"}],"event":{"name":"SIGSOFT\/FSE'10: 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Santa Fe New Mexico USA","acronym":"SIGSOFT\/FSE'10"},"container-title":["Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882291.1882356","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1882291.1882356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:30Z","timestamp":1750244370000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1882291.1882356"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,7]]},"references-count":9,"alternative-id":["10.1145\/1882291.1882356","10.1145\/1882291"],"URL":"https:\/\/doi.org\/10.1145\/1882291.1882356","relation":{},"subject":[],"published":{"date-parts":[[2010,11,7]]},"assertion":[{"value":"2010-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}