{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:47Z","timestamp":1775873567807,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403258","type":"print"},{"value":"9783540448983","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44898-5_4","type":"book-chapter","created":{"date-parts":[[2007,11,11]],"date-time":"2007-11-11T03:21:25Z","timestamp":1194751285000},"page":"55-72","source":"Crossref","is-referenced-by-count":218,"title":["Checking Interference with Fractional Permissions"],"prefix":"10.1007","author":[{"given":"John","family":"Boyland","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"4_CR1","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":"Jouvelot, P., Gifford, D.K.: Algebraic reconstruction of types and effects. In: Conference Record of the Eighteenth Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages. ACM Press, New York (1991) 303\u2013310"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.P. Talpin","year":"1992","unstructured":"Talpin, J.P., Jouvelot, P.: Polymorphic type, region and effect inference. Journal of Functional Programming 2 (1992) 245\u2013271","journal-title":"Journal of Functional Programming"},{"key":"4_CR3","first-page":"39","volume-title":"Conference Record of the Fifth ACM Symposium on Principles of Programming Languages","author":"J.C. Reynolds","year":"1978","unstructured":"Reynolds, J.C.: Syntactic control of interference. In: Conference Record of the Fifth ACM Symposium on Principles of Programming Languages, New York, ACM Press (1978) 39\u201346"},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-48743-3_10","volume-title":"ECOOP\u201999 \u2014 Object-Oriented Programming, 13th European Conference","author":"A. Greenhouse","year":"1999","unstructured":"Greenhouse, A., Boyland, J.: An object-oriented effects system. In Guerraoui, R., ed.: ECOOP\u201999 \u2014 Object-Oriented Programming, 13th European Conference. Volume 1628 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (1999) 205\u2013229"},{"key":"4_CR5","first-page":"292","volume-title":"OOPSLA\u201902 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications","author":"D. Clarke","year":"2002","unstructured":"Clarke, D., Drossopoulou, S.: Ownership, encapsulation and the disjointness of type and effect. In: OOPSLA\u201902 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications. Volume 37., New York, ACM Press (2002) 292\u2013310"},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-49099-X_7","volume-title":"ESOP\u201999 \u2014 Programming Languages and Systems, 8th European Symposium on Programming","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Abadi, M.: Types for safe locking. In Swierstra, S.D., ed.: ESOP\u201999 \u2014 Programming Languages and Systems, 8th European Symposium on Programming. Volume 1576 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (1999) 91\u2013108"},{"key":"4_CR7","first-page":"56","volume-title":"OOPSLA\u201901 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications","author":"C. Boyapati","year":"2001","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free Java programs. In: OOPSLA\u201901 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications. Volume 36., New York, ACM Press (2001) 56\u201369"},{"key":"4_CR8","first-page":"211","volume-title":"OOPSLA\u201902 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: OOPSLA\u201902 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications. Volume 37., New York, ACM Press (2002) 211\u2013230"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/363911.363923","volume":"22","author":"D. Walker","year":"2000","unstructured":"Walker, D., Crary, K., Morrisett, G.: Typed memory management via static capabilities. ACM Transactions on Programming Languages and Systems 22 (2000) 701\u2013771","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR10","first-page":"14","volume-title":"Conference Record of the Twenty-eighth Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages","author":"S.S. Ishtiaq","year":"2001","unstructured":"Ishtiaq, S.S., O\u2019Hearn, P.W.: BI as an assertion language for mutable data structures. In: Conference Record of the Twenty-eighth Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, New York, ACM Press (2001) 14\u201326"},{"key":"4_CR11","unstructured":"Reynolds, J.C.: Intuitionistic reasoning about shared mutable data structure. In: Millenial Perspectives in Computer Science, Palgrave (to appear) Draft dated July 28, 2000."},{"key":"4_CR12","first-page":"55","volume-title":"Logic in Computer Science","author":"J. Reynolds","year":"2002","unstructured":"Reynolds, J.: Separation logic: A logic for shared mutable data structures. In: Logic in Computer Science, Los Alamitos, California, IEEE Computer Society (2002) 55\u201374"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Boyland, J., Greenhouse, A.: MayEqual: A new alias question. Presented at IWAOOS\u2019 99: Intercontinental Workshop on Aliasing in Object-Oriented Systems. http:\/\/cuiwww.unige.ch\/~ecoopws\/iwaoos\/papers\/papers\/greenhouse.ps.gz (1999)","DOI":"10.1007\/3-540-48743-3_10"},{"key":"4_CR14","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":"Steensgaard, B.: Points-to analysis in almost linear time. In: Conference Record of the Twenty-third Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, New York, ACM Press (1996) 32\u201341"},{"key":"4_CR15","volume-title":"Programming Concepts and Methods","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Linear types can change the world! In Broy, M., Jones, C.B., eds.: Programming Concepts and Methods. Elsevier, North-Holland (1990)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W., Takeyama, M., Power, A.J., Tennent, R.D.: Syntactic control of interference revisited. In: MFPS XI, conference on Mathematical Foundations of Program Semantics. Volume 1., Elsevier (1995)","DOI":"10.1016\/S1571-0661(04)00026-X"},{"key":"4_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-46425-5_24","volume-title":"ESOP\u201900 \u2014 Programming Languages and Systems, 9th European Symposium on Programming","author":"F. Smith","year":"2000","unstructured":"Smith, F., Walker, D., Morrisett, J.G.: Alias types. In Smolka, G., ed.: ESOP\u201900 \u2014 Programming Languages and Systems, 9th European Symposium on Programming. Volume 1782 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (2000) 366\u2013381"},{"key":"4_CR18","first-page":"105","volume-title":"Conference Record of the Twenty-sixth Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages","author":"M. Sagiv","year":"1999","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: Conference Record of the Twenty-sixth Annual ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages, New York, ACM Press (1999) 105\u2013118"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/224164.224182","volume-title":"Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture (FPCA\u201995)","author":"G. Morrisett","year":"1995","unstructured":"Morrisett, G., Felleisen, M., Harper, R.: Abstract models of memory management. In: Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture (FPCA\u201995), New York, ACM Press (1995) 66\u201377"},{"key":"4_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-45337-7_2","volume-title":"ECOOP\u201901 \u2014 Object-Oriented Programming, 15th European Conference","author":"J. Boyland","year":"2001","unstructured":"Boyland, J., Noble, J., Retert, W.: Capabilities for sharing: A generalization of uniqueness and read-only. In Knudsen, J.L., ed.: ECOOP\u201901 \u2014 Object-Oriented Programming, 15th European Conference. Volume 2072 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (2001) 2\u201327"},{"key":"4_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/3-540-45332-6_7","volume-title":"Types in Compilation: Third International Workshop, TIC 2000","author":"D. Walker","year":"2001","unstructured":"Walker, D., Morrisett, G.: Alias types for recursive data structures. In: Types in Compilation: Third International Workshop, TIC 2000. Volume 2071 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (2001) 177\u2013206"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/378795.378811","volume-title":"Proceedings of the ACM SIGPLAN\u2019 01 Conference on Programming Language Design and Implementation","author":"R. DeLine","year":"2001","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. In: Proceedings of the ACM SIGPLAN\u2019 01 Conference on Programming Language Design and Implementation. Volume 36., New York, ACM Press (2001) 59\u201369"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/512529.512532","volume-title":"Proceedings of the ACM SIGPLAN\u2019 02 Conference on Programming Language Design and Implementation","author":"M. F\u00e4hndrich","year":"2002","unstructured":"F\u00e4hndrich, M., DeLine, R.: Adoption and focus: Practial linear types for imperative programming. In: Proceedings of the ACM SIGPLAN\u2019 02 Conference on Programming Language Design and Implementation. Volume 37., New York, ACM Press (2002) 13\u201324"},{"key":"4_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BFb0053573","volume-title":"ESOP\u201998 \u2014 Programming Languages and Systems, 7th European Symposium on Programming","author":"J.L. Ross","year":"1998","unstructured":"Ross, J.L., Sagiv, M.: Building a birdge between pointer aliases and program dependencies. In Hankin, C., ed.: ESOP\u201998 \u2014 Programming Languages and Systems, 7th European Symposium on Programming. Volume 1381 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (1998) 221\u2013235"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/596980.596982","volume":"25","author":"R. Rugina","year":"2003","unstructured":"Rugina, R., Rinard, M.C.: Pointer analysis for structured parallel programs. ACM Transactions on Programming Languages and Systems 25 (2003) 70\u2013116","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44898-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T17:43:13Z","timestamp":1684086193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44898-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403258","9783540448983"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44898-5_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}