{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:31Z","timestamp":1725489451452},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-47910-4_8","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:13:47Z","timestamp":1187252027000},"page":"118-141","source":"Crossref","is-referenced-by-count":30,"title":["A New Definition of the Subtype Relation"],"prefix":"10.1007","author":[{"given":"Barbara","family":"Liskov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeannette M.","family":"Wing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Abadi, M., Lamport, L.: The existence of refinement mappings. Digital Equipment Corp. Sys. Research Ctr. Tech Rpt. 29, 1988."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1145\/97946.97966","volume":"25","author":"P. America","year":"1990","unstructured":"America, P.: A parallel object-oriented language with inheritance and subtyping. ACM SIGPLAN 25 (1990) 161\u2013168.","journal-title":"ACM SIGPLAN"},{"key":"8_CR3","unstructured":"America, P.: Designing an object-oriented programming language with behavioural subtyping. Foundations of Object-Oriented Languages, REX School\/Workshop, Noordwijkerhout, The Netherlands, Springer-Verlag Lec. Notes in Com. Sci. 489 (1991) 60\u201390."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bruce, K. B., Wegner, P.: An algebraic model of subtypes in object-oriented languages (draft). ACM SIGPLAN Notices 21 (1986).","DOI":"10.1145\/323648.323756"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L.: A semantics of multiple inheritance. Info. and Computation 76 (1988) 138\u2013164.","journal-title":"Info. and Computation"},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01898400","volume":"3","author":"E. Cusack","year":"1991","unstructured":"Elspeth Cusack: Refinement, conformance, and inheritance. Formal Aspects of Computing. 3(2), (1991), 129\u2013141.","journal-title":"Formal Aspects of Computing"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Elspeth Cusack: Inheritance in object oriented Z. Proceedings of ECOOP\u2019 91, 1991.","DOI":"10.1007\/BFb0057021"},{"key":"8_CR8","first-page":"211","volume-title":"Formal Description Techniques, II","author":"E. Cusack","year":"1990","unstructured":"Elspeth Cusack, Steve Rudkin, and Chris Smith: An object oriented interpretation of LOTOS. Formal Description Techniques, II, S.T. Vuong (ed.). Elsevier Science Publishers B.V. (North-Holland) (1990), 211\u2013226."},{"key":"8_CR9","volume-title":"Subtyping among mutable types in object-oriented programming languages","author":"K. K. Dhara","year":"1992","unstructured":"Dhara, K. K.: Subtyping among mutable types in object-oriented programming languages. Iowa State University Ames, Iowa, 1992."},{"key":"8_CR10","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E. W.: A Discipline of Programming. Prentice Hall, New York, 1976."},{"key":"8_CR11","unstructured":"Halbert, D. C, O\u2019Brien, P. D.: Using types and inheritance in object-oriented programming. IEEE Software (1987) 71\u201379."},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/319587.319588","volume":"6","author":"M. Hammer","year":"1981","unstructured":"Hammer, M., McLeod, D.: A semantic database model. ACM Trans. Database Systems 6 (1981) 351\u2013386.","journal-title":"ACM Trans. Database Systems"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. Hoare","year":"1972","unstructured":"Hoare, C. A. R.: Proof of correctness of data representations. Acta Informatica 1 (1972) 271\u2013281.","journal-title":"Acta Informatica"},{"key":"8_CR14","series-title":"Tech. Rpt.","volume-title":"Towards a theory of abstract data types","author":"K. Kapur","year":"1980","unstructured":"Kapur, K.: Towards a theory of abstract data types. Tech. Rpt. 237, MIT Lab. for Computer Science, Cambridge, MA, 1980."},{"key":"8_CR15","series-title":"Tech. Rpt.","doi-asserted-by":"crossref","DOI":"10.21236\/ADA209118","volume-title":"Verifying object-oriented prograsm that use subtypes","author":"G. Leavens","year":"1989","unstructured":"Leavens, G.: Verifying object-oriented prograsm that use subtypes. Tech. Rpt. 439, MIT Lab. for Computer Science, Cambridge, MA, 1989."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Leavens, G., Weihl, W. E.: Reasoning about object-oriented programs that use subtypes. ECOOP\/OOPSLA\u2019 90 Proceedings, 1990.","DOI":"10.1145\/97945.97970"},{"key":"8_CR17","unstructured":"Leavens, G., Weihl, W.E.: Subtyping, modular specification, and modular verification for applicative object-oriented programs. (forthcoming)."},{"key":"8_CR18","unstructured":"Lipeck, U.: Semantics and usage of defaults in specifications. Foundations of In formation Systems Specification and Design, Hans-Dieter Ehrich and Joseph A Goguen and Amilcar Sernadas Dagstuhl Seminar 9212, Rpt. 35, 1992."},{"key":"8_CR19","unstructured":"Liskov, B., Guttag, J.: Abstraction and Specification in Program Design. McGraw Hill and MIT Press, 1985."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Liskov, B., Wing, J. M.: Family Values: A Semantic Notion of Subtyping. MIT-LCS-TR-562, Tech. Rpt., December 1992. Also published as CMU-CS-92-220 TR.","DOI":"10.21236\/ADA259881"},{"key":"8_CR21","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-oriented Software Construction. Prentice Hall, New York, 1988."},{"key":"8_CR22","volume-title":"Programming from Specifications","author":"C. Morgan","year":"1990","unstructured":"Morgan, C: Programming from Specifications. Prentice Hall, New York, 1990."},{"volume-title":"Systems Programming with Modula-3","year":"1991","key":"8_CR23","unstructured":"Nelson, G. (Ed.): Systems Programming with Modula-3. Prentice Hall, New York, 1991."},{"key":"8_CR24","unstructured":"Schaffert, C, Cooper, T., Wilpolt, C: Trellis: object-based environment language reference manual. Dig. Equip. Corp. Eastern Research Lab., Tech Rpt. 372, 1985."},{"key":"8_CR25","volume-title":"An object-oriented refinement calculus with modular reasoning","author":"M. Utting","year":"1992","unstructured":"Utting, M.: An object-oriented refinement calculus with modular reasoning. University of New South Wales, Australia, 1992."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:14:37Z","timestamp":1605629677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540571209"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_8","relation":{},"subject":[]}}