{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301034},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555117"},{"type":"electronic","value":"9783540471943"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55511-0_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:09:45Z","timestamp":1330250985000},"page":"144-167","source":"Crossref","is-referenced-by-count":4,"title":["Typed homomorphic relations extended with subtypes"],"prefix":"10.1007","author":[{"given":"Gary T.","family":"Leavens","sequence":"first","affiliation":[]},{"given":"Don","family":"Pigozzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"7_CR1","first-page":"234","volume-title":"Lecture Notes in Computer Science, Volume 276","author":"P. America","year":"1987","unstructured":"Pierre America. Inheritance and Subtyping in a Parallel Object-Oriented Language. In Jean Bezivin et al., editors, 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."},{"unstructured":"Pierre America. A Behavioural Approach to Subtyping in Object-Oriented Programming Languages. Technical Report 443, Philips Research Laboratories, Nederlandse Philips Bedrijven B. V., April 1989. Revised from the January 1989 version.","key":"7_CR2"},{"doi-asserted-by":"crossref","unstructured":"V. Breazu-Tannen, T. Coquand, C. A. Gunter, and A. Scedrov. Inheritance and Explicit Coercion (Preliminary Report). In Fourth Annual Symposium on Logic in Computer Science, Pacific Grove, California, pages 112\u2013129. IEEE, June 1989. Revised version to appear in Information and Computation. Also appears as University of Pennsylvania, Department of Computer and Information Science, Logic and Computation 1, MS-CIS-89-01.","key":"7_CR3","DOI":"10.1109\/LICS.1989.39166"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/101620.101625","volume-title":"Advances in Database Programming Languages","author":"Kim B. B. Bruce","year":"1990","unstructured":"Kim B. Bruce and Peter Wegner. An Algebraic Model of Subtype and Inheritance. In Francois Ban\u00c7ilhon and Peter Buneman, editors, Advances in Database Programming Languages, pages 75\u201396. Addison-Wesley, Reading, Mass., 1990."},{"key":"7_CR5","series-title":"volume 173 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types: International Symposium, Sophia-Antipolis, France","author":"L. Cardelli","year":"1984","unstructured":"Luca Cardelli. A Semantics of Multiple Inheritance. In D. B. MacQueen G. Kahn and G. Plotkin, editors, Semantics of Data Types: International Symposium, Sophia-Antipolis, France, volume 173 of Lecture Notes in Computer Science, pages 51\u201366. Springer-Verlag, New York, N.Y., June 1984. A revised version of this paper appears in Information and Computation, volume 76, numbers 2\/3, pages 138\u2013164, February\/March 1988."},{"key":"7_CR6","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BFb0064870","volume-title":"Logic Colloquium, Symposium on Logic Held at Boston, 1972\u201373, volume 453","author":"H. Friedman","year":"1975","unstructured":"H. Friedman. Equality between Functional. In R. Parikh, editor, Logic Colloquium, Symposium on Logic Held at Boston, 1972\u201373, volume 453 of Lecture Notes in Mathematics, pages 22\u201337. Springer-Verlag, New York, N.Y., 1975."},{"unstructured":"Joseph A. Goguen and Jose Meseguer. Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation and Coercion Problems. Technical Report CSLI-87-92, Center for the Study of Language and Information, March 1987. Appears in Second Annual Symposium on Logic in Computer Science, Ithaca, NY, June, 1987, pages 18\u201329.","key":"7_CR7"},{"unstructured":"Carl A. Gunter. Structures and Techniques for the Semantics of Programming Languages. Technical report, Department of Computer and Information Science, University of Pennsylvania, September 1990.","key":"7_CR8"},{"issue":"1","key":"7_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/42192.42194","volume":"10","author":"Wim H. H. Heselink","year":"1988","unstructured":"Wim H. Heselink. A Mathematical Approach to Nondeterminism in Data Types. TOPLAS, 10(1):87\u2013117, January 1988.","journal-title":"TOPLAS"},{"key":"7_CR10","volume-title":"Technical Report 90-09","author":"Gary T. T. Leavens","year":"1990","unstructured":"Gary T. Leavens. Modular Verification of Object-Oriented Programs with Subtypes. Technical Report 90-09, Department of Computer Science, Iowa State University, Ames, Iowa, 50011, July 1990."},{"issue":"4","key":"7_CR11","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/52.300040","volume":"8","author":"Gary T. T. Leavens","year":"1991","unstructured":"Gary T. Leavens. Modular Specification and Verification of Object-Oriented Programs. IEEE Software, 8(4):72\u201380, July 1991.","journal-title":"IEEE Software"},{"doi-asserted-by":"crossref","unstructured":"Gary T. Leavens and William E. Weihl. 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).","key":"7_CR12","DOI":"10.1145\/97946.97970"},{"key":"7_CR13","volume-title":"Object-oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Bertrand Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., 1988."},{"issue":"16","key":"7_CR14","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/BF00263649","volume":"22","author":"T. Nipkow","year":"1986","unstructured":"Tobias Nipkow. Non-deterministic Data Types: Models and Implementations. Acta Informatica, 22(16):629\u2013661, March 1986.","journal-title":"Acta Informatica"},{"key":"7_CR15","first-page":"211","volume-title":"volume 94 of Lecture Notes in Computer Science","author":"John C. C. Reynolds","year":"1980","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."},{"issue":"2\/3","key":"7_CR16","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(85)80001-2","volume":"65","author":"R. Statman","year":"1985","unstructured":"R. Statman. Logical Relations and the Typed \u03bb-Calculus. Information and Control, 65(2\/3):85\u201397, May\/June 1985.","journal-title":"Information and Control"},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"Martin Wirsing, Peter Pepper, Helmut Partsch, Walter Dosch, and Manfred Broy. On Hierarchies of Abstract Data Types. Acta Informatica, 20(1):1\u201333, October 1983.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55511-0_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:45Z","timestamp":1619573505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55511-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555117","9783540471943"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55511-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}