{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:25:39Z","timestamp":1743114339125,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319035413"},{"type":"electronic","value":"9783319035420"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03542-0_9","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T16:31:54Z","timestamp":1386606714000},"page":"124-139","source":"Crossref","is-referenced-by-count":1,"title":["Laws of Programming for References"],"prefix":"10.1007","author":[{"given":"Giovanny","family":"Lucero","sequence":"first","affiliation":[]},{"given":"David","family":"Naumann","sequence":"additional","affiliation":[]},{"given":"Augusto","family":"Sampaio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Back, R.J.R., van Wright, J.: Refinement calculus: a systematic introduction. Springer (1998)","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"894","DOI":"10.1145\/1101821.1101824","volume":"52","author":"A. Banerjee","year":"2005","unstructured":"Banerjee, A., Naumann, D.: Ownership confinement ensures representation independence for object-oriented programs. J. ACM\u00a052, 894\u2013960 (2005)","journal-title":"J. ACM"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2485982","volume":"60","author":"A. Banerjee","year":"2013","unstructured":"Banerjee, A., Naumann, D.A., Rosenberg, S.: Local reasoning for global invariants, part I: Region logic. Journal of the ACM\u00a060, 18:1\u201318:56 (2013)","journal-title":"Journal of the ACM"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Benton, N.: Simple relational correctness proofs for static analyses and program transformations. In: POPL, pp. 14\u201325 (2004)","DOI":"10.1145\/982962.964003"},{"issue":"9","key":"9_CR5","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1145\/1090189.1086401","volume":"40","author":"M. Berger","year":"2005","unstructured":"Berger, M., Honda, K., Yoshida, N.: A logical analysis of aliasing in imperative higher-order functions. SIGPLAN Not.\u00a040(9), 280\u2013293 (2005)","journal-title":"SIGPLAN Not."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Borba, P., Sampaio, A., Cavalcanti, A., Corn\u00e9lio, M.: Algebraic reasoning for object-oriented programming. Science of Computer Programming (2004)","DOI":"10.1016\/j.scico.2004.03.003"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/10722010_8","volume-title":"Mathematics of Program Construction","author":"R. Bornat","year":"2000","unstructured":"Bornat, R.: Proving pointer programs in Hoare logic. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol.\u00a01837, pp. 102\u2013126. Springer, Heidelberg (2000)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Corn\u00e9lio, M., Cavalcanti, A., Sampaio, A.: Sound refactorings. Science of Computer Programming (2010)","DOI":"10.1016\/j.scico.2009.10.001"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., et al.: Laws of programming. Communications of the ACM\u00a030(8) (1987)","DOI":"10.1145\/27651.27653"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Staden, S.: In praise of algebra. Formal Aspects of Computing, 423\u2013431 (2012)","DOI":"10.1007\/s00165-012-0249-0"},{"issue":"6","key":"9_CR11","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.jlap.2011.04.005","volume":"80","author":"T. Hoare","year":"2011","unstructured":"Hoare, T., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Log. Algebr. Program.\u00a080(6), 266\u2013296 (2011)","journal-title":"J. Log. Algebr. Program."},{"issue":"1-2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"H. Jifeng","year":"2006","unstructured":"Jifeng, H., Li, X., Liu, Z.: rCOS: A refinement calculus of object systems. Theoretical Computer Science\u00a0365(1-2), 109\u2013142 (2006)","journal-title":"Theoretical Computer Science"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s00165-010-0152-5","volume":"23","author":"I.T. Kassios","year":"2011","unstructured":"Kassios, I.T.: The dynamic frames theory. Formal Aspects of Computing\u00a023, 267\u2013288 (2011)","journal-title":"Formal Aspects of Computing"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Kozen, D.: On Hoare logic and Kleene algebra with tests. In: ACM Trans. Comput. Logic. (July 2000)","DOI":"10.1145\/343369.343378"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Lucero, G., Naumann, D., Sampaio, A.: Laws of programming for references, long version (2013), \n                    http:\/\/www.cs.stevens.edu\/~naumann\/pub\/LuceroNSfull.pdf","DOI":"10.1007\/978-3-319-03542-0_9"},{"key":"9_CR16","unstructured":"Morgan, C.: Programming from specifications. Prentice-Hall, Inc. (1990)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Morris, J.: A general axiom of assignment. In: Broy, M., Schmidt, G. (eds.) Theoretical Foundations of Programming Methodology (1982)","DOI":"10.1007\/978-94-009-7893-5_3"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.tcs.2012.02.009","volume":"433","author":"D.A. Naumann","year":"2012","unstructured":"Naumann, D.A., Sampaio, A., Silva, L.: Refactoring and representation independence for class hierarchies. Theoretical Computer Science\u00a0433, 60\u201397 (2012)","journal-title":"Theoretical Computer Science"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P., Reynolds, J., Yang, H.: Local reasoning about programs that alter data structures. In: Computer Science Logic (2001)","DOI":"10.1007\/3-540-44802-0_1"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Silva, L., A., Sampaio, Z.L.: Laws of object-orientation with reference semantics. In: IEEE Software Engineering and Formal Methods (2008)","DOI":"10.1109\/SEFM.2008.29"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-12032-9_5","volume-title":"Foundations of Software Science and Computational Structures","author":"S. Staton","year":"2010","unstructured":"Staton, S.: Completeness for algebraic theories of local state. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 48\u201363. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03542-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T04:25:00Z","timestamp":1674879900000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03542-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319035413","9783319035420"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03542-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}