{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:10:00Z","timestamp":1761610200893,"version":"build-2065373602"},"reference-count":20,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":6784,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/s1571-0661(04)80006-9","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T15:29:25Z","timestamp":1096385365000},"page":"91-113","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["Weak Behavioral Subtyping for Types with Mutable Objects"],"prefix":"10.1016","volume":"1","author":[{"given":"Krishna Kishore","family":"Dhara","sequence":"first","affiliation":[]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB1","doi-asserted-by":"crossref","unstructured":"America Pierre. Inheritance and subtyping in a parallel object-oriented language. In Jean Bezivin et al., editor, ECOOP '87, European Conference on Object-Oriented Programming, Paris, France pages 234\u2013242, New York, N.Y., June 1987. Springer-Verlag. Lecture Notes in Computer Science, Volume 276.","DOI":"10.1007\/3-540-47891-4_22"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Pierre America. Designing an object-oriented programming language with behavioural subtyping. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, REX School\/Workshop, Noordwijkerhout, The Netherlands, May\/June 1990, volume 489 of Lecture Notes in Computer Science, pages 60\u201390. Springer-Verlag, New York, N.Y., 1991.","DOI":"10.1007\/BFb0019440"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB3","series-title":"Advances in Database Programming Languages","first-page":"75","article-title":"An algebraic model of subtype and inheritance","author":"Kim Bruce","year":"1990"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB4","unstructured":"Luca Cardelli. Typeful programming. In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts, IFIP State-of-the-Art Reports, pages 431\u2013507. Springer-Verlag, New York, N.Y., 1991."},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Craig Chambers. Object-oriented multi-methods in Cecil. In Ole Lehrmann Madsen, editor, ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, volume 615 of Lecture Notes in Computer Science, pages 33\u201356. Springer-Verlag, New York, N.Y. 1992.","DOI":"10.1007\/BFb0053029"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Craig Chambers and Gary T. Leavens. Typechecking and modules for multimethods. ACM SIGPLAN Notices, 29(10):1\u201315, October 1994. OOPSLA '94 Conference Proceedings, October 1994, Portland, Oregon.","DOI":"10.1145\/191081.191083"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB7","unstructured":"Jolly Chen. The Larch\/Generic interface language. Technical report, Massachusetts Institute of Technology, EECS department, May 1989. The author's Bachelor's thesis. Available from John Guttag at MIT (guttag@lcs.mit.edu)."},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB8","doi-asserted-by":"crossref","unstructured":"W. R. Cook. Interfaces and specifications for the Smalltalk-80 collection classes. ACM SIGPLAN Notices, 27(10):1\u201315, October 1992. OOPSLA '92 Proceedings, Andreas Paepcke (editor).","DOI":"10.1145\/141937.141938"},{"issue":"4","key":"10.1016\/S1571-0661(04)80006-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/52.300040","article-title":"Modular specification and verification of object-oriented programs","volume":"8","author":"Gary Leavens","year":"1991","journal-title":"IEEE Software"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB10","unstructured":"Gary T. Leavens and Krishna Dishore Dhara. Blended algebraic and denotational semantics for ADT languages. Technical Report 93\u201321b, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, September 1994. Submitted for publication. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu."},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Gary T. Leavens and Don Pigozzi. Typed homomorphic relations extended with subtypes. Technical Report 91\u201314, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, June 1991. Appears in the proceedings of Mathematical Foundations of Programming Semantics '91, Springer-Verlag, Lecture Notes in Computer Science, volume 598, pages 144\u2013167, 1992.","DOI":"10.1007\/3-540-55511-0_7"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Gary T. Leavens and Don Pigozzi. Typed homomorphic relations extended with subtypes. In Stephen Brookes, editor, Mathematical Foundations of Programming Semantics '91, volume 598 of Lecture Notes in Computer Science, pages 144\u2013167. Springer-Verlag, New York, N.Y. 1992.","DOI":"10.1007\/3-540-55511-0_7"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB13","unstructured":"Gary T. Leavens and Don Pigozzi. The behavior-realization adjunction and generalized homomorphic relations. Technical Report 94\u201318, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, September 1994. Submitted for publication."},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB14","doi-asserted-by":"crossref","unstructured":"Gary T. Leavens and William E. Weihil. Reasoning about object-oriented programs that use subtypes (extended abstract). ACM SIGPLAN Notices, 25(10):212\u2013223, October 1990. OOPSLA ECOOP '90 Proceedings, N. Meyrowitz (editor).","DOI":"10.1145\/97946.97970"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB15","unstructured":"Gary T. Leavens and William E. Weihl. Subtyping, modular specification, and modular verification for applicative object-oriented programs. Technical Report 92\u201328d, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, August 1994. Full version of a paper to appear in Acta Informatica. Available by anonymous ftp from ftp.cs.iastate.edu, and by e-mail from almanac@cs.iastate.edu."},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Gary Todd Leavens. Verifying object-oriented programs that use subtypes. Technical Report 439, Massachusetts Institute of Technology, Laboratory for Computer Science, February 1989. The author's Ph.D. thesis.","DOI":"10.21236\/ADA209118"},{"issue":"6","key":"10.1016\/S1571-0661(04)80006-9_NEWBIB17","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","article-title":"A behavioral notion of subtyping","volume":"16","author":"Liskov","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Barbara Liskov and Jeannette M. Wing. Specifications and their use in defining subtypes. ACM SIGPLAN Notices, 28(10):16\u201328, October 1993. OOPSLA '93 Proceedings, Andreas Paepcke (editor).","DOI":"10.1145\/167962.165863"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB19","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. Using category theory to design implicit conversions and generic operators. In Neil D. Jones, editor, Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, volume 94 of Lecture Notes in Computer Science pages 211\u2013258. Springer-Verlag, January 1980.","DOI":"10.1007\/3-540-10250-7_24"},{"key":"10.1016\/S1571-0661(04)80006-9_NEWBIB20","unstructured":"Jeannette Marie Wing. A two-tiered approach to specifying programs. Technical Report TR-299, Massachusetts Institute of Technology, Laboratory for Computer Science, 1983."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800069?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104800069?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:04:12Z","timestamp":1761609852000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104800069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":20,"alternative-id":["S1571066104800069"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80006-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Weak Behavioral Subtyping for Types with Mutable Objects","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80006-9","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}