{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:33:07Z","timestamp":1770273187189,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642369452","type":"print"},{"value":"9783642369469","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36946-9_10","type":"book-chapter","created":{"date-parts":[[2013,3,20]],"date-time":"2013-03-20T22:18:49Z","timestamp":1363817929000},"page":"270-288","source":"Crossref","is-referenced-by-count":8,"title":["Fractional Permissions"],"prefix":"10.1007","author":[{"given":"John","family":"Boyland","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","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":"10_CR2","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/1040305.1040327","volume-title":"Conference Record of POPL 2005: the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"R. Bornat","year":"2005","unstructured":"Bornat, R., Calcagno, C., O\u2019Hearn, P., Parkinson, M.: Permission accounting in separation logic. In: Conference Record of POPL 2005: the 32nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 259\u2013270. ACM Press, New York (2005)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Brookes, S.: Variables as resource for shared-memory programs: Semantics and soundness. In: Twenty-Second Conference on the Mathematical Foundations of Programming Semantics, pp. 123\u2013150. North-Holland, Elsevier (2006)","DOI":"10.1016\/j.entcs.2006.04.008"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bierhoff, K., Aldrich, J.: Modular typestate verification of aliased objects. Technical Report CMUISRI-07-105, School of Computer Science, Carnegie Mellon University (2007)","DOI":"10.21236\/ADA465507"},{"issue":"5","key":"10_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1387673.1387676","volume":"30","author":"T. Terauchi","year":"2008","unstructured":"Terauchi, T., Aiken, A.: A capability calculus for concurrency and determinism. ACM Transactions on Programming Languages and Systems\u00a030(5), 1\u201330 (2008)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Turon, A., Wand, M.: A resource analysis of the \u03c0-calculus. In: Twenty-Seventh Conference on the Mathematical Foundations of Programming Semantics (2011)","DOI":"10.1016\/j.entcs.2011.09.028"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/978-3-642-00590-9_26","volume-title":"Programming Languages and Systems","author":"M. Dodds","year":"2009","unstructured":"Dodds, M., Feng, X., Parkinson, M., Vafeiadis, V.: Deny-Guarantee Reasoning. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 363\u2013377. Springer, Heidelberg (2009)"},{"key":"10_CR8","unstructured":"Hurlin, C.: Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic. PhD thesis, Universit\u00e9 Nice\u2014Sophia Antipolis (September 2009)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-642-00590-9_27","volume-title":"Programming Languages and Systems","author":"K.R.M. Leino","year":"2009","unstructured":"Leino, K.R.M., M\u00fcller, P.: A Basis for Verifying Multi-threaded Programs. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 378\u2013393. Springer, Heidelberg (2009)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W., Takeyama, M., Power, A.J., Tennent, R.D.: Syntactic control of interference revisited. In: Eleventh Conference on the Mathematical Foundations of Programming Semantics, vol.\u00a01. North-Holland, Elsevier (1995)","DOI":"10.1016\/S1571-0661(04)00026-X"},{"issue":"4","key":"10_CR11","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\u00a022(4), 701\u2013771 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR12","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":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-10672-9_13","volume-title":"Programming Languages and Systems","author":"R. Dockins","year":"2009","unstructured":"Dockins, R., Hobor, A., Appel, A.W.: A Fresh Look at Separation Algebras and Share Accounting. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 161\u2013177. Springer, Heidelberg (2009)"},{"key":"10_CR14","unstructured":"Parkinson, M.J.: Local reasoning for Java. PhD thesis, University of Cambridge (November 2005)"},{"key":"10_CR15","first-page":"301","volume-title":"OOPSLA 2007 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications","author":"K. Bierhoff","year":"2007","unstructured":"Bierhoff, K., Aldrich, J.: Modular typestate verification of aliased objects. In: OOPSLA 2007 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications, pp. 301\u2013320. ACM Press, New York (2007), Companion technical report: http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/isri2007\/CMUISRI-07-105.pdf"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1145\/964001.964024","volume-title":"Conference Record of POPL 2004: the 31st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P.W. O\u2019Hearn","year":"2004","unstructured":"O\u2019Hearn, P.W., Yang, H., Reynolds, J.C.: Separation and information hiding. In: Conference Record of POPL 2004: the 31st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 268\u2013280. ACM Press, New York (2004)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Semantics of fractional permissions with nesting. ACM Transactions on Programming Languages and Systems 32(6), Article\u00a022 (August 2010)","DOI":"10.1145\/1749608.1749611"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/512529.512532","volume-title":"Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation","author":"M. F\u00e4hndrich","year":"2002","unstructured":"F\u00e4hndrich, M., DeLine, R.: Adoption and focus: Practical linear types for imperative programming. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pp. 13\u201324. ACM Press, New York (2002)"},{"key":"10_CR19","unstructured":"Boyland, J.: The non-linearity of volatile in Java. In: Wrigstad, T. (ed.) International Workshop on Aliasing, Confinement and Ownership in object-oriented programming, IWACO (2007)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"M\u00fcller, P.: Modular Specification and Verification of Object-Oriented Programs. PhD thesis, Fernuniversit\u00e4t Hagen (2001)","DOI":"10.1007\/3-540-45651-1"},{"key":"10_CR21","first-page":"208","volume-title":"OOPSLA 2000 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications","author":"C. Ruby","year":"2000","unstructured":"Ruby, C., Leavens, G.T.: Safely creating correct subclasses without seeing superclass code. In: OOPSLA 2000 Conference Proceedings\u2014Object-Oriented Programming Systems, Languages and Applications, pp. 208\u2013228. ACM Press, New York (2000)"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Boyland, J.: Why we should not add readonly to Java, yet. In: 7th ECOOP Workshop on Formal Techniques for Java-like Programs (2005)","DOI":"10.5381\/jot.2006.5.5.a1"},{"key":"10_CR23","unstructured":"Wrigstad, T.: External Uniqueness: A Theory of Aggregate Uniqueness for Object-Oriented Programming. PhD thesis, Stockholm University (2004)"},{"issue":"6","key":"10_CR24","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1002\/spe.370","volume":"31","author":"J. Boyland","year":"2001","unstructured":"Boyland, J.: Alias burying: Unique variables without destructive reads. Software Practice and Experience\u00a031(6), 533\u2013553 (2001)","journal-title":"Software Practice and Experience"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/978-3-642-36946-9_13","volume-title":"Aliasing in Object-Oriented Programming","author":"M. Parkinson","year":"2013","unstructured":"Parkinson, M., Bierman, G.: Separation Logic for Object-Oriented Programming. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 366\u2013406. Springer, Heidelberg (2013)"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-76637-7_3","volume-title":"Programming Languages and Systems","author":"A. Gotsman","year":"2007","unstructured":"Gotsman, A., Berdine, J., Cook, B., Rinetzky, N., Sagiv, M.: Local Reasoning for Storable Locks and Threads. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 19\u201337. Springer, Heidelberg (2007)"},{"key":"10_CR27","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.entcs.2011.09.021","volume":"276","author":"A. Gotsman","year":"2011","unstructured":"Gotsman, A., Berdine, J., Cook, B.: Precision and the conjunction rule in concurrent separation logic. Electronic Notes in Theoretical Computer Science\u00a0276, 171\u2013190 (2011); Presented at Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/j.entcs.2011.09.029","volume":"276","author":"V. Vafeiadis","year":"2011","unstructured":"Vafeiadis, V.: Concurrent separation logic and operational semantics. Electronic Notes in Theoretical Computer Science\u00a0276, 335\u2013351 (2011); Presented at Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR29","unstructured":"Retert, W.S.: Implementing Permission Analysis. PhD thesis, University of Wisconsin\u2013Milwaukee, Department of EE & CS (2009)"},{"key":"10_CR30","unstructured":"Boyland, J., Sun, C.: Proving the correctness of fractional permissions for a Java-like kernel language. In: Zucca, E. (ed.) Informal Proceedings of 18th International Workshop on Foundations of Object-Oriented Languages, FOOL 2011 (October 2011)"}],"container-title":["Lecture Notes in Computer Science","Aliasing in Object-Oriented Programming. Types, Analysis and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36946-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,11]],"date-time":"2022-02-11T20:04:56Z","timestamp":1644609896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36946-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642369452","9783642369469"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36946-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}