{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:47:37Z","timestamp":1725727657651},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642385919"},{"type":"electronic","value":"9783642385926"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38592-6_6","type":"book-chapter","created":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T00:56:11Z","timestamp":1369788971000},"page":"66-82","source":"Crossref","is-referenced-by-count":3,"title":["Semantic Subtyping for Objects and Classes"],"prefix":"10.1007","author":[{"given":"Ornela","family":"Dardha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Gorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Varacca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-57887-0_101","volume-title":"Theoretical Aspects of Computer Software","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Cardelli, L.: A Theory of Primitive Objects - Untyped and First-Order Systems. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, pp. 296\u2013320. Springer, Heidelberg (1994)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, R., de Michiel, L.G., Lindsay, B.G.: Static type checking of multimethods. In: Proc. of OOPSLA, pp. 113\u2013128. ACM Press (1991)","DOI":"10.1145\/118014.117963"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.L.: Type inclusion constraints and type inference. In: Proc. of FPCA, pp. 31\u201341. ACM (1993)","DOI":"10.1145\/165180.165188"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-03013-0_2","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"D. Ancona","year":"2009","unstructured":"Ancona, D., Lagorio, G.: Coinductive type systems for object-oriented languages. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 2\u201326. Springer, Heidelberg (2009)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BFb0053054","volume-title":"ECOOP \u201996 - Object-Oriented Programming","author":"J. Boyland","year":"1996","unstructured":"Boyland, J., Castagna, G.: Type-safe compilation of covariant specialization: A practical case. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol.\u00a01098, pp. 3\u201325. Springer, Heidelberg (1996)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Boyland, J.T., Castagna, G.: Parasitic Methods: an implementation of multi-methods for Java. In: Proc. of OOPSLA. ACM Press (1997)","DOI":"10.1145\/263698.263721"},{"key":"6_CR7","series-title":"Progress in Theoretical Computer Science series","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4138-6","volume-title":"Object-oriented programming: a unified foundation","author":"G. Castagna","year":"1997","unstructured":"Castagna, G.: Object-oriented programming: a unified foundation. Progress in Theoretical Computer Science series. Birk\u00e4user, Boston (1997)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11560586_1","volume-title":"Theoretical Computer Science","author":"G. Castagna","year":"2005","unstructured":"Castagna, G.: Semantic subtyping: Challenges, perspectives, and open problems. In: Coppo, M., Lodi, E., Pinna, G.M. (eds.) ICTCS 2005. LNCS, vol.\u00a03701, pp. 1\u201320. Springer, Heidelberg (2005)"},{"issue":"1-3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.tcs.2008.01.049","volume":"398","author":"G. Castagna","year":"2008","unstructured":"Castagna, G., De Nicola, R., Varacca, D.: Semantic subtyping for the pi-calculus. Theoretical Computer Science\u00a0398(1-3), 217\u2013242 (2008)","journal-title":"Theoretical Computer Science"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/3-540-57887-0_121","volume-title":"Theoretical Aspects of Computer Software","author":"F.M. Damm","year":"1994","unstructured":"Damm, F.M.: Subtyping with union types, intersection types and recursive types. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, pp. 687\u2013706. Springer, Heidelberg (1994)"},{"key":"6_CR11","unstructured":"Dardha, O.: Sottotipaggio semantico per linguaggi ad oggetti. MS thesis, Dip. Informatica, \u201cSapienza\u201d Univ. di Roma, http:\/\/www.dsi.uniroma1.it\/~gorla\/TesiDardha.pdf"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-540-24851-4_17","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R.B. Findler","year":"2004","unstructured":"Findler, R.B., Flatt, M., Felleisen, M.: Semantic casts: Contracts and structural subtyping in a nominal world. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 365\u2013389. Springer, Heidelberg (2004)"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1391289.1391293","volume":"55","author":"A. Frisch","year":"2008","unstructured":"Frisch, A., Castagna, G., Benzaken, V.: Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. Journal of the ACM\u00a055(4), 1\u201364 (2008)","journal-title":"Journal of the ACM"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Gil, J., Maman, I.: Whiteoak: introducing structural typing into Java. In: Proc. of OOPSLA, pp. 73\u201390. ACM (2008)","DOI":"10.1145\/1449955.1449771"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/373243.360209","volume":"36","author":"H. Hosoya","year":"2001","unstructured":"Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. SIGPLAN Notices\u00a036(3), 67\u201380 (2001)","journal-title":"SIGPLAN Notices"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: Xduce: A statically typed XML processing language. ACM Transactions on Internet Technology\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR18","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system, release 3.11 (2008)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-70592-5_12","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"D. Malayeri","year":"2008","unstructured":"Malayeri, D., Aldrich, J.: Integrating nominal and structural subtyping. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 260\u2013284. Springer, Heidelberg (2008)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-00590-9_8","volume-title":"Programming Languages and Systems","author":"D. Malayeri","year":"2009","unstructured":"Malayeri, D., Aldrich, J.: Is structural subtyping useful? An empirical study. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 95\u2013111. Springer, Heidelberg (2009)"},{"key":"6_CR21","unstructured":"Odersky, M., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M.: An overview of the Scala programming language. Technical report (2004)"},{"issue":"1","key":"6_CR22","doi-asserted-by":"publisher","first-page":"121","DOI":"10.5381\/jot.2008.7.1.a4","volume":"7","author":"K. Ostermann","year":"2008","unstructured":"Ostermann, K.: Nominal and structural subtyping in component-based programming. Journal of Object Technology\u00a07(1), 121\u2013145 (2008)","journal-title":"Journal of Object Technology"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-35873-9_21","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"D.J. Pearce","year":"2013","unstructured":"Pearce, D.J.: Sound and complete flow typing with unions, intersections and negations. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol.\u00a07737, pp. 335\u2013354. Springer, Heidelberg (2013)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D., Vouillon, J.: Objective ML: A simple object-oriented extension of ML. In: Proc. of POPL, pp. 40\u201353. ACM (1997)","DOI":"10.1145\/263699.263707"},{"key":"6_CR25","volume-title":"The Pi-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2003","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38592-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,14]],"date-time":"2019-07-14T02:28:41Z","timestamp":1563071321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38592-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642385919","9783642385926"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38592-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}