{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:29:19Z","timestamp":1740547759362,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208037"},{"type":"electronic","value":"9783540246220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24622-0_14","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:33:53Z","timestamp":1283686433000},"page":"149-160","source":"Crossref","is-referenced-by-count":33,"title":["Type Inference for Parameterized Race-Free Java"],"prefix":"10.1007","author":[{"given":"Rahul","family":"Agarwal","sequence":"first","affiliation":[]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Proc. 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"J. Aldrich","year":"2002","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: Proc. 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), ACM Press, New York (2002)"},{"key":"14_CR2","unstructured":"Agarwal, R., Stoller, S.D.: Type inference for parameterized racefree Java. Technical Report DAR 03\u201310, Computer Science Department, SUNY at Stony Brook (October 2003)"},{"key":"14_CR3","series-title":"SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/504282.504287","volume-title":"Proc. 16th ACM Conference on Object- Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"C. Boyapati","year":"2001","unstructured":"Boyapati, C., Rinard, M.C.: A parameterized type system for race-free Java programs. In: Proc. 16th ACM Conference on Object- Oriented Programming, Systems, Languages and Applications (OOPSLA). SIGPLAN Notices, vol.\u00a036(11), pp. 56\u201369. ACM Press, New York (2001)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"14_CR5","unstructured":"Ernst, M.D.: Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington, Department of Computer Science and Engineering (2000)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/349299.349328","volume-title":"Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.: Type-based race detection for Java. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 219\u2013232. ACM Press, New York (2000)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/379605.379687","volume-title":"Workshop on Program Analysis for Software Tools and Engineering (PASTE)","author":"C. Flanagan","year":"2001","unstructured":"Flanagan, C., Freund, S.: Detecting race conditions in large programs. In: Workshop on Program Analysis for Software Tools and Engineering (PASTE), June 2001, pp. 90\u201396. ACM Press, New York (2001)"},{"key":"14_CR8","volume-title":"Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"J.S. Foster","year":"2002","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM Press, New York (2002)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/604174.604177","volume-title":"Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI)","author":"D. Grossman","year":"2003","unstructured":"Grossman, D.: Type-safe multithreading in Cyclone. In: Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI), pp. 13\u201325. ACM Press, New York (2003)"},{"key":"14_CR10","first-page":"69","volume-title":"Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"S. Hallem","year":"2002","unstructured":"Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 69\u201382. ACM Press, New York (2002)"},{"key":"14_CR11","unstructured":"Naik, M., Palsberg, J.: A type system equivalent to a model checker. Master\u2019s thesis, Purdue University (2003)"},{"issue":"4","key":"14_CR12","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"key":"14_CR13","series-title":"SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/504282.504288","volume-title":"Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA)","author":"C. Praun von","year":"2001","unstructured":"von Praun, C., Gross, T.R.: Object race detection. In: Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2001. SIGPLAN Notices, vol.\u00a036(11), pp. 70\u201382. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24622-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:27:58Z","timestamp":1740497278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24622-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208037","9783540246220"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24622-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}