{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:50Z","timestamp":1725488930078},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540735885"},{"type":"electronic","value":"9783540735892"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73589-2_26","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T21:48:05Z","timestamp":1186955285000},"page":"550-574","source":"Crossref","is-referenced-by-count":5,"title":["Tracking Linear and Affine Resources with Java(X)"],"prefix":"10.1007","author":[{"given":"Markus","family":"Degen","sequence":"first","affiliation":[]},{"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Wehr","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","first-page":"57","volume-title":"Proc. 21th ACM Conf. OOPSLA","author":"C. Andreae","year":"2006","unstructured":"Andreae, C., Noble, J., Markstrum, S., Millstein, T.: A framework for implementing pluggable type systems. In: Proc. 21th ACM Conf. OOPSLA, Portland, OR, pp. 57\u201374. ACM Press, Portland (2006)"},{"key":"26_CR2","first-page":"213","volume-title":"Proc.\u00a030th ACM Symp. POPL","author":"C. Boyapati","year":"2003","unstructured":"Boyapati, C., Liskov, B., Shrira, L.: Ownership types for object encapsulation. In: Morrisett, G. (ed.) Proc.\u00a030th ACM Symp. POPL, New Orleans, LA, January 2003, pp. 213\u2013223. ACM Press, New York, ACM SIGPLAN Notices (38)1 (2003)"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-44898-5_4","volume-title":"Static Analysis","author":"J. Boyland","year":"2003","unstructured":"Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 55\u201372. Springer, Heidelberg (2003)"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45337-7_2","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"J. Boyland","year":"2001","unstructured":"Boyland, J., Noble, J., Retert, W.: Capabilities for sharing: A generalisation of uniqueness and read-only. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 2\u201327. Springer, Heidelberg (2001)"},{"key":"26_CR5","first-page":"283","volume-title":"Proc.\u00a032nd ACM Symp. POPL","author":"J.T. Boyland","year":"2005","unstructured":"Boyland, J.T., Retert, W.: Connecting effects and uniqueness with adoption. In: Abadi, M. (ed.) Proc.\u00a032nd ACM Symp. POPL, January 2005, pp. 283\u2013295. ACM Press, New York (2005)"},{"issue":"2\/3","key":"26_CR6","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L.: A semantics of multiple inheritance. Information and Computation\u00a076(2\/3), 138\u2013164 (1988)","journal-title":"Information and Computation"},{"key":"26_CR7","first-page":"85","volume-title":"Proc. 2005 ACM Conf. PLDI","author":"B. Chin","year":"2005","unstructured":"Chin, B., Markstrum, S., Millstein, T.: Semantic type qualifiers. In: Proc. 2005 ACM Conf. PLDI, pp. 85\u201395. ACM Press, New York (2005)"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/378795.378811","volume-title":"Proc. 2001 PLDI","author":"R. DeLine","year":"2001","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. In: Proc. 2001 PLDI, Snowbird, UT, June 2001, pp. 59\u201369. ACM Press, New York, USA (2001)"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R. DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hndrich, M.: Typestates for objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 465\u2013490. Springer, Heidelberg (2004)"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/349299.349328","volume-title":"PLDI","author":"C. Flanagan","year":"2000","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java (SIGPLAN Notices). In: PLDI. Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver, British Columbia, Canada, June 2000, vol.\u00a035(5), pp. 219\u2013232. ACM Press, New York (2000)"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/781131.781169","volume-title":"Proc. 2003 PLDI","author":"C. Flanagan","year":"2003","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Proc. 2003 PLDI, pp. 338\u2013349. ACM Press, New York (2003)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. In: Proc. 1993 PLDI, pp. 237\u2013247, Albuquerque, New Mexico (June 1993)","DOI":"10.1145\/155090.155113"},{"key":"26_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-48737-9_7","volume-title":"Formal Syntax and Semantics of Java","author":"M. Flatt","year":"1999","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: A programmer\u2019s reduction semantics for classes and mixins. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, pp. 241\u2013269. Springer, Heidelberg (1999)"},{"key":"26_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/512529.512531","volume-title":"Proc. 2002 PLDI","author":"J.S. Foster","year":"2002","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: Proc. 2002 PLDI, Berlin, Germany, June 2002, pp. 1\u201312. ACM Press, New York (2002)"},{"key":"26_CR15","first-page":"268","volume-title":"Proc.\u00a0PLDI \u201991","author":"T. Freeman","year":"1991","unstructured":"Freeman, T., Pfenning, F.: Refinement types for ML. In: Proc.\u00a0PLDI \u201991, Toronto, Canada, June 1991, pp. 268\u2013277. ACM Press, New York (1991)"},{"key":"26_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_3","volume-title":"Programming Languages and Systems","author":"M. Hofmann","year":"2006","unstructured":"Hofmann, M., Jost, S.: Type-based amortised heap-space analysis. In: Sestoft, P. (ed.) ESOP 2006 and ETAPS 2006. LNCS, vol.\u00a03924, Springer, Heidelberg (2006)"},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/1052898.1052913","volume-title":"AOSD \u201905","author":"P. Lam","year":"2005","unstructured":"Lam, P., Kuncak, V., Rinard, M.: Crosscutting techniques in program specification and analysis. In: AOSD \u201905. Proceedings of the 4th international conference on Aspect-oriented software development, pp. 169\u2013180. ACM Press, New York (2005)"},{"key":"26_CR18","first-page":"213","volume-title":"Proc.\u00a0Intl. Conf. Functional Programming 2003","author":"Y. Mandelbaum","year":"2003","unstructured":"Mandelbaum, Y., Walker, D., Harper, R.: An effective theory of type refinements. In: Shivers, O. (ed.) Proc.\u00a0Intl. Conf. Functional Programming 2003, Uppsala, Sweden, August 2003, pp. 213\u2013225. ACM Press, New York (2003)"},{"key":"26_CR19","first-page":"109","volume-title":"Proc. 17th ACM Symp. POPL","author":"J.C. Mitchell","year":"1990","unstructured":"Mitchell, J.C.: Toward a typed foundation for method specialization and inheritance. In: Proc. 17th ACM Symp. POPL, January 1990, pp. 109\u2013124. ACM Press, San Francisco, CA (1990)"},{"key":"26_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/BFb0054091","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"J. Noble","year":"1998","unstructured":"Noble, J., Vitek, J., Potter, J.: Flexible alias protection. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 158\u2013185. Springer, Heidelberg (1998)"},{"issue":"1","key":"26_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<35::AID-TAPO4>3.0.CO;2-4","volume":"5","author":"M. Odersky","year":"1999","unstructured":"Odersky, M., Sulzmann, M., Wehr, M.: Type inference with constrained types. Theory and Practice of Object Systems\u00a05(1), 35\u201355 (1999)","journal-title":"Theory and Practice of Object Systems"},{"key":"26_CR22","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/379605.379635","volume-title":"PASTE\u201901","author":"J. Palsberg","year":"2001","unstructured":"Palsberg, J.: Type-based analysis and applications. In: ACM (ed.) PASTE\u201901. ACM SIGPLAN \u2013 SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June\u00a009, 2001, pp. 20\u201327. ACM Press, New York (2001)"},{"key":"26_CR23","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"issue":"1","key":"26_CR24","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M. Schrefl","year":"2002","unstructured":"Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Software Engineering and Methodology\u00a011(1), 92\u2013148 (2002)","journal-title":"ACM Trans. Software Engineering and Methodology"},{"issue":"5","key":"26_CR25","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1109\/32.232013","volume":"19","author":"R.E. Strom","year":"1993","unstructured":"Strom, R.E., Yellin, D.M.: Extending typestate checking using conditional liveness analysis. IEEE Trans. Softw. Eng.\u00a019(5), 478\u2013485 (1993)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"26_CR26","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R.E. Strom","year":"1986","unstructured":"Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng.\u00a012(1), 157\u2013171 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"26_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11601524_11","volume-title":"Database Programming Languages","author":"P. Thiemann","year":"2005","unstructured":"Thiemann, P.: A type safe DOM API. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol.\u00a03774, Springer, Heidelberg (2005)"},{"key":"26_CR28","volume-title":"Advanced Topics in Types and Programming Languages","author":"D. Walker","year":"2005","unstructured":"Walker, D.: Substructural type systems. In: Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages, ch. 1, MIT Press, Cambridge (2005)"},{"issue":"1","key":"26_CR29","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. Wright","year":"1994","unstructured":"Wright, A., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"},{"key":"26_CR30","first-page":"214","volume-title":"Proc. 26th ACM Symp. POPL","author":"H. Xi","year":"1999","unstructured":"Xi, H., Pfenning, F.: Dependent types in practical programming. In: Aiken, A. (ed.) Proc. 26th ACM Symp. POPL, San Antonio, Texas, January 1999, pp. 214\u2013227. ACM Press, New York (1999)"},{"key":"26_CR31","first-page":"135","volume-title":"Proc. 18th ACM Conf. OOPSLA","author":"T. Zhao","year":"2003","unstructured":"Zhao, T., Palsberg, J., Vitek, J.: Lightweight confinement for Featherweight Java. In: Proc. 18th ACM Conf. OOPSLA, Anaheim, CA, USA, 2003, pp. 135\u2013148. ACM Press, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2007 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73589-2_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T19:29:09Z","timestamp":1684006149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73589-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540735885","9783540735892"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73589-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}