{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:24Z","timestamp":1761611184626},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540347507"},{"type":"electronic","value":"9783540347521"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11768173_12","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T12:02:49Z","timestamp":1150891369000},"page":"200-216","source":"Crossref","is-referenced-by-count":10,"title":["Pointers and Records in the Unifying Theories of Programming"],"prefix":"10.1007","author":[{"given":"Ana","family":"Cavalcanti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Will","family":"Harwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1109\/APSEC.2003.1254398","volume-title":"10th Asia-Pacific Software Engineering Conference (APSEC 2003)","author":"R.J. Back","year":"2003","unstructured":"Back, R.J., Fan, X., Preoteasa, V.: Reasoning about Pointers in Refinement Calculus. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), p. 425. IEEE Computer Society, Los Alamitos (2003)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-16816-8_26","volume-title":"Mathematical Foundation of Programming Semantics","author":"S.D. Brookes","year":"1986","unstructured":"Brookes, S.D.: A Fully Abstract Semantics and a Proof System for an Algol-like Language with Sharing. In: Melton, A.C. (ed.) MFPS 1985. LNCS, vol.\u00a0239, pp. 59\u2013100. Springer, Heidelberg (1986)"},{"key":"12_CR3","first-page":"23","volume":"7","author":"R.M. Burstall","year":"1972","unstructured":"Burstall, R.M.: Some techniques for proving correctness of programs which alter data structures. Machine Intelligence\u00a07, 23\u201350 (1972)","journal-title":"Machine Intelligence"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s10270-005-0085-2","volume":"4","author":"A.L.C. Cavalcanti","year":"2005","unstructured":"Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: Unifying Classes and Processes. Software and System Modelling\u00a04(3), 277\u2013296 (2005)","journal-title":"Software and System Modelling"},{"key":"12_CR5","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Jifeng, H.: A trace model for pointers and objects, pp. 223\u2013245 (2003)","DOI":"10.1007\/978-0-387-21798-7_11"},{"key":"12_CR7","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"12_CR8","volume-title":"POPL","author":"S. Ishtiaq","year":"2001","unstructured":"Ishtiaq, S., O\u2019Hearn, P.W.: BI as an assertion language for mutable data structures. In: POPL. ACM Press, New York (2001)"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11561163_9","volume-title":"Formal Methods for Components and Objects","author":"Z. Liu","year":"2005","unstructured":"Liu, Z., He, J., Li, X.: rCOS: Refinement of Component and Object Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol.\u00a03657, pp. 183\u2013221. Springer, Heidelberg (2005)"},{"key":"12_CR10","volume-title":"Eiffel: the language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: the language. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-44880-2_22","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"B. Meyer","year":"2003","unstructured":"Meyer, B.: Towards practical proofs of class correctness. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 359\u2013387. Springer, Heidelberg (2003)"},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(00)00005-8","volume":"41","author":"D.A. Naumann","year":"2001","unstructured":"Naumann, D.A.: Predicate Transformer Semantics of a Higher Order Imperative Language with Record Subtypes. Science of Computer Programming\u00a041(1), 1\u201351 (2001)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s00165-003-0024-3","volume":"16","author":"R.F. Paige","year":"2004","unstructured":"Paige, R.F., Ostroff, J.S.: ERC \u2013 An object-oriented refinement calculus for Eiffel. Formal Aspects of Computing\u00a016(1), 5 (2004)","journal-title":"Formal Aspects of Computing"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-45236-2_19","volume-title":"FME 2003: Formal Methods","author":"S. Qin","year":"2003","unstructured":"Qin, S., Dong, J.S., Chin, W.N.: A Semantic Foundation for TCOZ in Unifying Theories of Programming. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 321\u2013340. Springer, Heidelberg (2003)"},{"key":"12_CR15","unstructured":"Reynolds, J.C.: Intuitionistic reasoning about shared mutable data structure. In: Millenial Perspectives in Computer Science, Palgrave (2001)"},{"key":"12_CR16","series-title":"Prentice-Hall Series in Computer Science","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11768173_2","volume-title":"Unifying Theories of Programming","author":"T.L.V.L. Santos","year":"2006","unstructured":"Santos, T.L.V.L., Cavalcanti, A.L.C., Sampaio, A.C.A.: Object-orientation in the UTP. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010. Springer, Heidelberg (2006)"},{"key":"12_CR18","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"1999","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11889229_6","volume-title":"Refinement Techniques in Software Engineering","author":"J.C.P. Woodcock","year":"2006","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: A Tutorial Introduction to CSP in Unifying Theories of Programming. In: Cavalcanti, A., Sampaio, A., Woodcock, J. (eds.) PSSE 2004. LNCS, vol.\u00a03167, pp. 220\u2013268. Springer, Heidelberg (2006)"},{"key":"12_CR20","volume-title":"Using Z\u2014Specification, Refinement, and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z\u2014Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11768173_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:12:48Z","timestamp":1619507568000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11768173_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540347507","9783540347521"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11768173_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}