{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T04:56:40Z","timestamp":1784350600754,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433668","type":"print"},{"value":"9783540459316","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45931-6_28","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T00:53:52Z","timestamp":1181350432000},"page":"402-416","source":"Crossref","is-referenced-by-count":53,"title":["A Semantic Basis for Local Reasoning"],"prefix":"10.1007","author":[{"given":"Hongseok","family":"Yang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"O\u2019Hearn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"28_CR1","unstructured":"R.-J. R. Back. On the Correctness of Refinement Steps in Program Development. PhD thesis, Department of Computer Science, University of Helsinki, 1978. Report A-1978-4."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"S. Ishtiaq and P. O\u2019Hearn. BI as an assertion language for mutable data structures. In Principles of Programming Languages, pages 14\u201326, January 2001.","DOI":"10.1145\/373243.375719"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"C. C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), Jul 1988.","DOI":"10.1145\/44501.44503"},{"key":"28_CR4","unstructured":"D. Naumann. Calculating sharp adaptation rules. Information Processing Letters, 2000. To appear."},{"key":"28_CR5","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of 15th Annual Conference of the European Association for Computer Science Logic: CSL 2001","author":"P. O\u2019Hearn","year":"2001","unstructured":"P. O\u2019Hearn, J. Reynolds, and H. Yang. Local reasoning about programs that alter data structures. In L. Fribourg, editor, Proceedings of 15th Annual Conference of the European Association for Computer Science Logic: CSL 2001, pages 1\u201319. Springer-Verlag. LNCS 2142."},{"issue":"2","key":"28_CR6","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P. W. O\u2019Hearn","year":"1999","unstructured":"P. W. O\u2019Hearn and D. J. Pym. The logic of bunched implications. Bulletin of Symbolic Logic, 5(2):215\u2013244, June 1999.","journal-title":"Bulletin of Symbolic Logic"},{"key":"28_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0091-7","volume-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","author":"D. J. Pym","year":"2002","unstructured":"D. J. Pym. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers, Boston\/Dordrecht\/London, 2002. To appear."},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"R. Reiter. Knowledge in Action. MIT Press, 2001.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"28_CR9","unstructured":"J. C. Reynolds. Intuitionistic reasoning about shared mutable data structure. In Jim Davies, Bill Roscoe, and Jim Woodcock, editors, Millennial Perspectives in Computer Science, pages 303\u2013321, Houndsmill, Hampshire, 2000. Palgrave."},{"key":"28_CR10","unstructured":"J. C. Reynolds. Lectures on reasoning about shared mutable data structure. IFIP Working Group 2.3 School\/Seminar on State-of-the-Art Program Design Using Logic. Tandil, Argentina, September 2000."},{"key":"28_CR11","unstructured":"H. Yang. Local Reasoning for Stateful Programs. Ph.D. thesis, University of Illinois, Urbana-Champaign, Illinois, USA, 2001."},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"H. Yang and U. S. Reddy. On the semantics of refinement calculi. In Foundations of Software Science and Computation Structures, pages 359\u2013374. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-46432-8_24"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45931-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:19:25Z","timestamp":1556479165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45931-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433668","9783540459316"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45931-6_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}