{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:00Z","timestamp":1763468160900},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390371"},{"type":"electronic","value":"9783642390388"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39038-8_8","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T10:29:00Z","timestamp":1372156140000},"page":"179-204","source":"Crossref","is-referenced-by-count":13,"title":["Java UI : Effects for Controlling UI Object Access"],"prefix":"10.1007","author":[{"given":"Colin S.","family":"Gordon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Dietl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Grossman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Ingalls, D.H.H.: The Smalltalk-76 Programming System: Design and Implementation. In: POPL (1978)","DOI":"10.1145\/512760.512762"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Zhang, S., L\u00fc, H., Ernst, M.D.: Finding Errors in Multithreaded GUI Applications. In: ISSTA (2012)","DOI":"10.1145\/2338965.2336782"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A Syntactic Approach to Type Soundness. Inf. Comput.\u00a0115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Gordon, C.S., Dietl, W.M., Ernst, M.D., Grossman, D.: Java\n                  \n                    UI\n                  : Effects for Controlling UI Object Access. Technical Report UW-CSE-13-04-01, University of Washington (2013)","DOI":"10.1007\/978-3-642-39038-8_8"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Papi, M.M., Ali, M., Correa Jr., T.L., Perkins, J.H., Ernst, M.D.: Practical Pluggable Types for Java. In: ISSTA (2008)","DOI":"10.1145\/1390630.1390656"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Dietl, W., Dietzel, S., Ernst, M.D., Mu\u015flu, K., Schiller, T.: Building and Using Pluggable Type-Checkers. In: ICSE (2011)","DOI":"10.1145\/1985793.1985889"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: A Theory of Type Qualifiers. In: PLDI (1999)","DOI":"10.1145\/301618.301665"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/11785477_18","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"B. Emir","year":"2006","unstructured":"Emir, B., Kennedy, A., Russo, C., Yu, D.: Variance and Generalized Constraints for \n                    \n                      \n                    \n                    $C^{\\sharp}$\n                   Generics. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 279\u2013303. Springer, Heidelberg (2006)"},{"key":"8_CR9","unstructured":"Wheeler, D.A.: SLOCCount, \n                    \n                      http:\/\/www.dwheeler.com\/sloccount\/"},{"key":"8_CR10","unstructured":"WALA, \n                    \n                      http:\/\/wala.sourceforge.net"},{"key":"8_CR11","unstructured":"Subclipse Issue 889, \n                    \n                      http:\/\/subclipse.tigris.org\/issues\/show_bug.cgi?id=889"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Sutherland, D.F., Scherlis, W.L.: Composable Thread Coloring. In: PPoPP (2010)","DOI":"10.1145\/1693453.1693485"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic Effect Systems. In: POPL (1988)","DOI":"10.1145\/73560.73564"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Marino, D., Millstein, T.: A Generic Type-and-Effect System. In: TLDI (2009)","DOI":"10.1145\/1481861.1481868"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-31057-7_13","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"L. Rytz","year":"2012","unstructured":"Rytz, L., Odersky, M., Haller, P.: Lightweight Polymorphic Effects. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol.\u00a07313, pp. 258\u2013282. Springer, Heidelberg (2012)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Bocchino Jr., R.L., Adve, V.S., Dig, D., Adve, S.V., Heumann, S., Komuravelli, R., Overbey, J., Simmons, P., Sung, H., Vakilian, M.: A Type and Effect System for Deterministic Parallel Java. In: OOPSLA (2009)","DOI":"10.1145\/1640089.1640097"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Kawaguchi, M., Rondon, P., Bakst, A., Jhala, R.: Deterministic Parallelism via Liquid Effects. In: PLDI (2012)","DOI":"10.1145\/2254064.2254071"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The Marriage of Effects and Monads. In: ICFP (1998)","DOI":"10.1145\/289423.289429"},{"key":"8_CR19","unstructured":"Phooey UI Framework, \n                    \n                      http:\/\/www.haskell.org\/haskellwiki\/Phooey"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N.: Software transactional memory for dynamic-sized data structures. In: PODC (2003)","DOI":"10.1145\/872035.872048"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Harris, T., Marlow, S., Peyton-Jones, S., Herlihy, M.: Composable memory transactions. In: PPoPP (2005)","DOI":"10.1145\/1065944.1065952"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Blundell, C., Lewis, E., Martin, M.: Subtleties of Transactional Memory Atomicity Semantics. Computer Architecture Letters 5(2) (2006)","DOI":"10.1109\/L-CA.2006.18"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2013 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39038-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T14:53:57Z","timestamp":1557845637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39038-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390371","9783642390388"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39038-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}