{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:53:41Z","timestamp":1760043221822,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661566"},{"type":"electronic","value":"9783540487432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48743-3_10","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:39:50Z","timestamp":1192891190000},"page":"205-229","source":"Crossref","is-referenced-by-count":31,"title":["An Object-Oriented Effects System"],"prefix":"10.1007","author":[{"given":"Aaron","family":"Greenhouse","sequence":"first","affiliation":[]},{"given":"John","family":"Boyland","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"issue":"6","key":"10_CR1","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/207110.207137","volume":"30","author":"A. Aiken","year":"1995","unstructured":"Alexander Aiken, Manuel F\u00e4hndrich, and Raph Levien. Better static memory management: Improving region-based analysis of higher-order languages. In Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation, San Diego, California, USA, ACM SIGPLAN Notices, 30(6):174\u2013185, June 1995.","journal-title":"Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation"},{"key":"10_CR2","unstructured":"John Boyland. Deferring destruction when reading unique variables. Submitted to IWAOOS\u2019 99, March 1999."},{"key":"10_CR3","unstructured":"John Boyland and Aaron Greenhouse. MayEqual: A new alias question. Submitted to IWAOOS\u2019 99, March 1999."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Edwin C. Chan, John T. Boyland, and William L. Scherlis. Promises: Limited specifications for analysis and manipulation. In Proceedings of the IEEE International Conference on Software Engineering (ICSE\u2019 98), Kyoto, Japan, April 19\u201325, pages 167\u2013176. IEEE Computer Society, Los Alamitos, California, 1998.","DOI":"10.1109\/ICSE.1998.671113"},{"issue":"10","key":"10_CR5","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/286942.286947","volume":"33","author":"D. G. Clarke","year":"1998","unstructured":"David G. Clarke, John M. Potter, and James Noble. Ownership types for flexible alias protection. In OOPSLA\u201998 Conference Proceedings Object-Oriented Programming Systems, Languages and Applications, Vancouver, Canada, October 18\u201322, ACM SIGPLAN Notices, 33(10):48\u201364, October 1998.","journal-title":"ACM SIGPLAN Notices"},{"key":"10_CR6","unstructured":"D. K. Gifford, P. Jouvelot, J. M. Lucassen, and M. A. Sheldon. FX-87 reference manual. Technical Report MIT\/LCS\/TR-407, Massachusetts Institute of Technology, Laboratory for Computer Science, September 1987."},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Daniel Jackson. Aspect: Detecting bugs with abstract dependencies. ACM Transactions on Software Engineering and Methodology, 4(2):109\u2013145, April 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10_CR8","first-page":"303","volume-title":"Conference Record of the Eighteenth Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages","author":"P. Jouvelot","year":"1991","unstructured":"Pierre Jouvelot and David K. Gifford. Algebraic reconstruction of types and effects. In Conference Record of the Eighteenth Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, pages 303\u2013310. ACM Press, New York, 1991."},{"key":"10_CR9","unstructured":"K. Rustan M. Leino. Data groups: Specifying the modification of extended state. In OOPSLA\u201998 Conference Proceedings-Object-Oriented Programming Systems, Languages and Applications, Vancouver, Canada, October 18\u201322, ACM SIGPLAN Notices, 33(10), October 1998."},{"key":"10_CR10","first-page":"39","volume-title":"Conference Record of the Fifth ACM Symposium on Principles of Programming Languages","author":"J. C. Reynolds","year":"1978","unstructured":"John C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth ACM Symposium on Principles of Programming Languages, pages 39\u201346. ACM Press, New York, January 1978."},{"key":"10_CR11","first-page":"32","volume-title":"Conference Record of the Twenty-third Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages","author":"B. Steensgaard","year":"1996","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. In Conference Record of the Twenty-third Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, St. Petersburg, Florida, USA, January 21\u201324, pages 32\u201341. ACM Press, New York, 1996."},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3):245\u2013271, July 1992.","journal-title":"Journal of Functional Programming"},{"key":"10_CR13","first-page":"188","volume-title":"Conference Record of the Twenty-first Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages","author":"M. Tofte","year":"1994","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value \u03bb-calculus using a stack of regions. In Conference Record of the Twenty-first Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17\u201321, pages 188\u2013201. ACM Press, New York, 1994."},{"key":"10_CR14","unstructured":"Bill Venners. Design for thread safety: Design tips on when and how to use synchronization, immutable objects, and thread-safe wrappers. JavaWorld, August 1998."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 99 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48743-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:55:54Z","timestamp":1737489354000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48743-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661566","9783540487432"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48743-3_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}