{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:46Z","timestamp":1725563026118},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_26","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"382-396","source":"Crossref","is-referenced-by-count":0,"title":["A Modality for Safe Resource Sharing and Code Reentrancy"],"prefix":"10.1007","author":[{"given":"Rui","family":"Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dengping","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongwei","family":"Xi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"Asperti, A.: A logic for concurrency. Technical report, Dipartimento di Informatica, University of Pisa (1987)"},{"key":"26_CR2","unstructured":"Chen, C.: Type Inference in Applied Type System, 2005. PhD thesis, Boston University (September 2005)"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Chen, C., Xi, H.: Combining Programming with Theorem Proving. In: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming, Tallinn, Estonia, September 2005, pp. 66\u201377 (2005)","DOI":"10.1145\/1090189.1086375"},{"issue":"2","key":"26_CR4","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1017\/S0956796800001660","volume":"6","author":"J. Chirimar","year":"1996","unstructured":"Chirimar, J., Gunter, C.A., Riecke, G.: Reference Counting as a Computational Interpretation of Linear Logic. Journal of Functional Programming\u00a06(2), 195\u2013244 (1996)","journal-title":"Journal of Functional Programming"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Fahndrich, M., Deline, R.: Adoption and Focus: Practical Linear Types for Imperative Programming. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, Berlin, June 2002, pp. 13\u201324 (2002)","DOI":"10.1145\/512529.512532"},{"issue":"1","key":"26_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050(1), 1\u2013101 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"26_CR7","first-page":"258","volume":"7","author":"M. Hofmann","year":"2000","unstructured":"Hofmann, M.: A type system for bounded space and functional in-place update. Nordic Journal of Computing\u00a07(4), 258\u2013289 (Winter 2000)","journal-title":"Nordic Journal of Computing"},{"key":"26_CR8","unstructured":"Igarashi, A., Kobayashi, N.: Garbage Collection Based on a Linear Type System. In: Preliminary Proceedings of the 3rd ACM SIGPLAN Workshop on Types in Compilation (TIC 2000) (September 2000)"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Jouvelot, P., Gifford, D.K.: Algebraic reconstruction of types and effects. In: Proceedings of 18th ACM SIGPLAN Symposium on Principles of Programming Languages, January 1991, pp. 303\u2013310 (1991)","DOI":"10.1145\/99583.99623"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Kobayashi, N.: Quasi-linear types. In: Proceedings of the 26th ACM Sigplan Symposium on Principles of Programming Languages (POPL 1999), San Antonio, Texas, USA, pp. 29\u201342 (1999)","DOI":"10.1145\/292540.292546"},{"key":"26_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R.W., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press, Cambridge (1997)"},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/11417170_22","volume-title":"Typed Lambda Calculi and Applications","author":"G. Morrisett","year":"2005","unstructured":"Morrisett, G., Ahmed, A., Fluet, M.: L3: A Linear language with locations. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol.\u00a03461, pp. 293\u2013307. Springer, Heidelberg (2005)"},{"key":"26_CR13","unstructured":"Shi, R.: Types for Safe Resource Sharing in Sequential and Concurrent Programming. PhD thesis, Boston University (2007)"},{"key":"26_CR14","unstructured":"Shi, R., Xi, H.: A Linear Type System for Multicore Programming. In: Proceedings of Simposio Brasileiro de Linguagens de Programacao, Gramado, Brazil (August 2009)"},{"issue":"1-2","key":"26_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0304-3975(99)00054-7","volume":"227","author":"D.N. Turner","year":"1999","unstructured":"Turner, D.N., Wadler, P.: Operational interpretations of linear logic. Theoretical Computer Science\u00a0227(1-2), 231\u2013248 (1999)","journal-title":"Theoretical Computer Science"},{"key":"26_CR16","unstructured":"Wadler, P.: Linear types can change the world. In: TC 2 Working Conference on Programming Concepts and Methods (Preprint), Sea of Galilee, pp. 546\u2013566 (1990)"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Walker, D., Watkins, K.: On Regions and Linear Types. In: Proceedings of the 6th ACM SIGPLAN International Conference on Functional Programming (ICFP 2001), Florence, Italy, September 2001, pp. 181\u2013192 (2001)","DOI":"10.1145\/507669.507658"},{"key":"26_CR18","unstructured":"Xi, H.: Dependent Types in Practical Programming. PhD thesis, Carnegie Mellon University, pp. viii+189. (1998), http:\/\/www.cs.cmu.edu\/~hwxi\/DML\/thesis.ps"},{"key":"26_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-540-24849-1_25","volume-title":"Types for Proofs and Programs","author":"H. Xi","year":"2004","unstructured":"Xi, H.: Applied Type System (extended abstract). In: Berardi, S., Coppo, M., Damiani, F. (eds.) TYPES 2003. LNCS, vol.\u00a03085, pp. 394\u2013408. Springer, Heidelberg (2004)"},{"key":"26_CR20","unstructured":"Xi, H.: Applied Type System (2005), http:\/\/www.cs.bu.edu\/hwxi\/ATS"},{"key":"26_CR21","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/292540.292560","volume-title":"Proceedings of 26th ACM SIGPLAN Symposium on Principles of Programming Languages","author":"H. Xi","year":"1999","unstructured":"Xi, H., Pfenning, F.: Dependent Types in Practical Programming. In: Proceedings of 26th ACM SIGPLAN Symposium on Principles of Programming Languages, San Antonio, Texas, January 1999, pp. 214\u2013227. ACM Press, New York (1999)"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-30557-6_8","volume-title":"Practical Aspects of Declarative Languages","author":"D. Zhu","year":"2005","unstructured":"Zhu, D., Xi, H.: Safe Programming with Pointers through Stateful Views. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol.\u00a03350, pp. 83\u201397. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,6]],"date-time":"2021-11-06T20:31:15Z","timestamp":1636230675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}