{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:09Z","timestamp":1725491889770},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540732099"},{"type":"electronic","value":"9783540732105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73210-5_31","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T04:03:05Z","timestamp":1189656185000},"page":"599-618","source":"Crossref","is-referenced-by-count":2,"title":["Unifying Theories of Objects"],"prefix":"10.1007","author":[{"given":"Michael Anthony","family":"Smith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Berlin Heidelberg (1996)"},{"issue":"3","key":"31_CR2","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":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11768173_12","volume-title":"Unifying Theories of Programming","author":"A. Cavalcanti","year":"2006","unstructured":"Cavalcanti, A., Harwood, W., Woodcock, J.: Pointers and records in the unifying theories of programming. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010, Springer, Heidelberg (2006)"},{"key":"31_CR4","unstructured":"He, J., Liu, Z., Li, X.: Towards a refinement calculus for object systems. Research Report 251, UNU\/IIST, P.O. Box 3058, Macau (May 2002)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Hehner, E.C.R.: A Practical Theory of Programming. Springer, Heidelberg (1993) Electronic edition freely available on line from: www.cs.utoronto.ca\/~hehner\/aPToP","DOI":"10.1007\/978-1-4419-8596-5"},{"key":"31_CR6","series-title":"Computer Science","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Computer Science. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., He, J.: A trace model for pointers and objects. In: 13 th European Conference on Object-Oriented Programming, pages 1\u201317 (1999)","DOI":"10.1007\/3-540-48743-3_1"},{"key":"31_CR8","unstructured":"Kassios, I.T.: Objects as predicates. Technical report, Computer Systems Research Group, University of Toronto (2004)"},{"key":"31_CR9","unstructured":"Kassios, I.T.: A Theory of Object Oriented Refinement. PhD thesis, University of Toronto (2006)"},{"volume-title":"Types and Programming Languages","year":"2002","key":"31_CR10","unstructured":"Pierce, B.C. (ed.): Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/11768173_2","volume-title":"Unifying Theories of Programming","author":"T. Santos","year":"2006","unstructured":"Santos, T., Cavalcanti, A., Sampaio, A.: Object-orientation in UTP. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol.\u00a04010, pp. 20\u201338. Springer, Heidelberg (2006)"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-540-24756-2_4","volume-title":"Integrated Formal Methods","author":"J.C.P. Woodcock","year":"2004","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: A tutorial introduction to designs in unifying theories of programming. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 40\u201366. Springer, Heidelberg (2004) Invited tutorial"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73210-5_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:12:30Z","timestamp":1605762750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73210-5_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540732099","9783540732105"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73210-5_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}