{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:17:32Z","timestamp":1725794252895},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319071503"},{"type":"electronic","value":"9783319071510"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07151-0_15","type":"book-chapter","created":{"date-parts":[[2014,5,22]],"date-time":"2014-05-22T03:30:14Z","timestamp":1400729414000},"page":"238-252","source":"Crossref","is-referenced-by-count":1,"title":["A New Formalization of Subtyping to Match Subclasses to Subtypes"],"prefix":"10.1007","author":[{"given":"Hyunik","family":"Na","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1145\/233561.233563","volume":"18","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: On subtyping and matching. ACM Trans. Program. Lang. Syst.\u00a018(4), 401\u2013423 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer-Verlag New York, Inc., Secaucus (1996)","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1002\/j.1096-9942.1995.tb00019.x","volume":"1","author":"K. Bruce","year":"1995","unstructured":"Bruce, K., Cardelli, L., Castagna, G., Leavens, G.T., Pierce, B.: On binary methods. Theory and Practice of Object Systems\u00a01, 221\u2013242 (1995)","journal-title":"Theory and Practice of Object Systems"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-24851-4_18","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"S. Oulmakhzoune","year":"2004","unstructured":"Oulmakhzoune, S., Foster, J.N.: LOOJ: Weaving LOOM into Java. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 390\u2013414. Springer, Heidelberg (2004)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"K. Bruce","year":"1998","unstructured":"Bruce, K., Odersky, M., Wadler, P.: A statically safe alternative to virtual types. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, Springer, Heidelberg (1998)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"K. Bruce","year":"1997","unstructured":"Bruce, K., Petersen, L., Fiech, A.: Subtyping is not a good \u201cmatch\u201d for object-oriented languages. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, Springer, Heidelberg (1997)"},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/641888.641891","volume":"25","author":"K. Bruce","year":"2003","unstructured":"Bruce, K., Schuett, A., van Gent, R., Fiech, A.: PolyTOIL: A type-safe polymorphic object-oriented language. ACM TOPLAS\u00a025, 225\u2013290 (2003)","journal-title":"ACM TOPLAS"},{"key":"15_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types","author":"L. Cardelli","year":"1984","unstructured":"Cardelli, L.: A semantics of multiple inheritance. In: Kahn, G., MacQueen, D.B., Plotkin, G. (eds.) Semantics of Data Types. LNCS, vol.\u00a0173, pp. 51\u201367. Springer, Heidelberg (1984)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-17184-3_38","volume-title":"Combinators and Functional Programming Languages","author":"L. Cardelli","year":"1986","unstructured":"Cardelli, L.: Amber. In: Cousineau, G., Curien, P.-L., Robinet, B. (eds.) LITP 1985. LNCS, vol.\u00a0242, pp. 21\u201347. Springer, Heidelberg (1986)"},{"key":"15_CR10","unstructured":"Cook, W.: A proposal for making Eiffel type-safe. The Computer Journal, 57\u201370 (1989)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/96709.96721","volume-title":"Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"W.R. Cook","year":"1990","unstructured":"Cook, W.R., Hill, W., Canning, P.S.: Inheritance is not subtyping. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 125\u2013135. ACM, New York (1990)"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF01018829","volume":"8","author":"J. Eifrig","year":"1995","unstructured":"Eifrig, J., Smith, S., Trifonov, V., Zwarico, A.: An interpretation of typed oop in a language with state. LISP and Symbolic Computation\u00a08, 357\u2013397 (1995)","journal-title":"LISP and Symbolic Computation"},{"key":"15_CR13","unstructured":"Fisher, K., Mitchell, J.C.: The development of type systems for object-oriented languages. Technical report, Stanford, CA, USA (1996)"},{"key":"15_CR14","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The JavaTM Language Specification, Java SE 7 Edition. Oracle America, Inc. (February 2012)"},{"issue":"04","key":"15_CR15","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1017\/S0956796800001490","volume":"5","author":"M. Hofmann","year":"1995","unstructured":"Hofmann, M., Pierce, B.: A unifying type-theoretic framework for objects. Journal of Functional Programming\u00a05(04), 593\u2013635 (1995)","journal-title":"Journal of Functional Programming"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Kamin, S.: Inheritance in Smalltalk-80: a denotational definition. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1988)","DOI":"10.1145\/73560.73567"},{"key":"15_CR17","unstructured":"Kamin, S.N., Reddy, U.S.: Two semantic models of object-oriented languages. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects of Object-Oriented Programming, pp. 463\u2013495. MIT Press (1994)"},{"issue":"5","key":"15_CR18","first-page":"57","volume":"3","author":"W. LaLonde","year":"1991","unstructured":"LaLonde, W., Pugh, J.: Subclassing \u2260 subtyping \u2260 is-a. J. Object Oriented Program.\u00a03(5), 57\u201362 (1991)","journal-title":"J. Object Oriented Program."},{"key":"15_CR19","unstructured":"Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The JavaTM Virtual Machine Specification, Java SE 7 Edition. Oracle America, Inc. (February 2012)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C.: Toward a typed foundation for method specialization and inheritance. In: POPL 1990 (1990)","DOI":"10.1145\/96709.96719"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-03542-0_17","volume-title":"Programming Languages and Systems","author":"H. Na","year":"2013","unstructured":"Na, H., Ryu, S.: ThisJava: An extension of Java with exact types. In: Shan, C.-c. (ed.) APLAS 2013. LNCS, vol.\u00a08301, pp. 233\u2013240. Springer, Heidelberg (2013)"},{"key":"15_CR22","unstructured":"Hyunik, N., Sukyoung, R., Kwangmoo, C.: Exact type parameterization and ThisType support. In: TLDI 2012 (2012)"},{"key":"15_CR23","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala. Artima Inc. (2008)"},{"key":"15_CR24","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press (2002)"},{"issue":"02","key":"15_CR25","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B.C. Pierce","year":"1994","unstructured":"Pierce, B.C., Turner, D.N.: Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming\u00a04(02), 207\u2013247 (1994)","journal-title":"Journal of Functional Programming"},{"key":"15_CR26","doi-asserted-by":"crossref","unstructured":"Reddy, U.: Objects as closures: abstract semantics of object-oriented languages. In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming (1988)","DOI":"10.1145\/62678.62721"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Saito, C., Igarashi, A.: Matching ThisType to subtyping. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC 2009, pp. 1851\u20131858. ACM, New York (2009)","DOI":"10.1145\/1529282.1529699"},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1992","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115, 38\u201394 (1992)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07151-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,19]],"date-time":"2020-08-19T19:53:47Z","timestamp":1597866827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07151-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319071503","9783319071510"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07151-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}