{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:50:33Z","timestamp":1725544233872},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540336891"},{"type":"electronic","value":"9783540336914"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11741060_5","type":"book-chapter","created":{"date-parts":[[2006,4,27]],"date-time":"2006-04-27T13:42:07Z","timestamp":1146145327000},"page":"77-98","source":"Crossref","is-referenced-by-count":3,"title":["Typed Compilation Against Non-manifest Base Classes"],"prefix":"10.1007","author":[{"given":"Christopher","family":"League","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Monnier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Appel, A.W.: Foundational proof-carrying code. In: Proc. IEEE Symp. on Logic in Computer Science (LICS), June 2001, pp. 247\u2013258 (2001)","DOI":"10.1109\/LICS.2001.932501"},{"key":"5_CR2","unstructured":"Barendregt, H.: Typed lambda calculi. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science, Oxford, vol.\u00a02 (1992)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications, October 1990, pp. 303\u2013311 (1990)","DOI":"10.1145\/97945.97982"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/BFb0053376","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"K.B. Bruce","year":"1997","unstructured":"Bruce, K.B., Fiech, A., Petersen, L.: Subtyping is not a good \u2018Match\u2019 for object-oriented languages. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 104\u2013127. Springer, Heidelberg (1997)"},{"issue":"1\u20132","key":"5_CR5","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/inco.1999.2829","volume":"155","author":"K.B. Bruce","year":"1999","unstructured":"Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing object encodings. Information and Computation\u00a0155(1\u20132), 108\u2013133 (1999)","journal-title":"Information and Computation"},{"key":"5_CR6","unstructured":"Cardelli, L., Leroy, X.: Abstract types and the dot notation. In: Proc. IFIP Working Conf. on Programming Concepts and Methods, Israel, April 1990, pp. 466\u2013491 (1990)"},{"key":"5_CR7","series-title":"Foundations of Computing Series","volume-title":"Theoretical Aspects of Object-Oriented Programming","author":"L. Cardelli","year":"1994","unstructured":"Cardelli, L., Mitchell, J.C.: Operations on records. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects of Object-Oriented Programming. Foundations of Computing Series. MIT Press, Cambridge (1994)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Chang, B.-Y.E., Chlipala, A., Necula, G.C., Schneck, R.R.: Type-based verification of assembly language for compiler debugging. In: Proc. ACMWorkshop on Types in Language Design and Implementation (TLDI), pp. 91\u2013102 (2005)","DOI":"10.1145\/1040294.1040303"},{"key":"5_CR9","volume-title":"Proc. Symp. on Principles of Programming Languages","author":"J. Chen","year":"2005","unstructured":"Chen, J., Tarditi, D.: A simple typed intermediate language for object-oriented languages. In: Proc. Symp. on Principles of Programming Languages. ACM, New York (2005)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-39813-4_4","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A. Ciaffaglione","year":"2003","unstructured":"Ciaffaglione, A., Liquori, L., Miculan, M.: Imperative object-based calculi in coinductive type theories. In: Y. Vardi, M., Voronkov, A. (eds.) LPAR 2003. LNCS, vol.\u00a02850, pp. 59\u201377. Springer, Heidelberg (2003)"},{"key":"5_CR11","volume-title":"Proc. Conf. on Programming Language Design and Implementation","author":"C. Colby","year":"2000","unstructured":"Colby, C., Lee, P., Necula, G.C., Blau, F., Cline, K., Plesko, M.: A certifying compiler for Java. In: Proc. Conf. on Programming Language Design and Implementation, Vancouver. ACM, New York (2000)"},{"key":"5_CR12","unstructured":"Coq Development Team. The Coq Proof Assistant Reference Manual. INRIA, version 8.0 edn. (June 2004)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.: The calculus of constructions. Information and Computation\u00a076, 95\u2013120 (1988)","journal-title":"Information and Computation"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52335-9_47","volume-title":"COLOG-88","author":"T. Coquand","year":"1990","unstructured":"Coquand, T., Paulin-Mohring, C.: Inductively defined types. In: Martin-L\u00f6f, P., Mints, G. (eds.) COLOG 1988. LNCS, vol.\u00a0417. Springer, Heidelberg (1990)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Crary, K.: Typed compilation of inclusive subtyping. In: Proc. Int\u2019l Conf. Functional Programming (September 2000)","DOI":"10.1145\/351240.351247"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Crary, K.: Simple, efficient object encoding using intersection types. Technical Report CMU-CS-99-100, Carnegie Mellon University, Pittsburgh (January 1999)","DOI":"10.21236\/ADA360971"},{"key":"5_CR17","unstructured":"Fisher, K., Reppy, J.: A typed calculus for traits. In: Proc. Int\u2019l Workshop on Foundations of Object-Oriented Languages (January 2004)"},{"key":"5_CR18","unstructured":"Fisher, K., Reppy, J.: Foundations for moby classes. Technical report, Bell Labs (December 1998)"},{"key":"5_CR19","volume-title":"Proc. Conf. on Programming Language Design and Implementation","author":"K. Fisher","year":"1999","unstructured":"Fisher, K., Reppy, J.: The design of a class mechanism for Moby. In: Proc. Conf. on Programming Language Design and Implementation. ACM, New York (1999)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Fisher, K., Reppy, J., Riecke, J.G.: A calculus for compiling and linking classes. In: Proc. European Symp. on Programming, pp. 135\u2013149 (2000)","DOI":"10.1007\/3-540-46425-5_9"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. In: Proc. Conf. on Programming Language Design and Implementation, Albuquerque, June 1993, pp. 237\u2013247 (1993)","DOI":"10.1145\/155090.155113"},{"key":"5_CR22","volume-title":"Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications","author":"N. Glew","year":"2000","unstructured":"Glew, N.: An efficient class and object encoding. In: Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications. ACM, New York (2000)"},{"key":"5_CR23","volume-title":"Curry: Essays on Computational Logic, Lambda Calculus, and Formalism","author":"W.A. Howard","year":"1980","unstructured":"Howard, W.A.: The formulae-as-types notion of constructions. In: To, H.B. (ed.) Curry: Essays on Computational Logic, Lambda Calculus, and Formalism. Academic Press, London (1980)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"League, C., Monnier, S.: Typed compilation against non-manifest base classes. Extended version, available from authors\u2019 web sites (December 2005)","DOI":"10.1007\/11741060_5"},{"issue":"2","key":"5_CR25","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/514952.514954","volume":"24","author":"C. League","year":"2002","unstructured":"League, C., Shao, Z., Trifonov, V.: Type- preserving compilation of Featherweight Java. ACM Trans. on Programming Languages and Systems\u00a024(2), 112\u2013152 (2002)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/3-540-36579-6_8","volume-title":"Compiler Construction","author":"C. League","year":"2003","unstructured":"League, C., Shao, Z., Trifonov, V.: Precision in practice: A type-preserving Java compiler. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 106\u2013120. Springer, Heidelberg (2003)"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Moon, D.A.: Object-oriented programming with Flavors. In: Proc. Conf. on Object- Oriented Programming Systems, Languages, and Applications, November 1986, pp. 1\u20138 (1986)","DOI":"10.1145\/28697.28698"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. ACM Trans. on Programming Languages and Systems\u00a021(3) (May 1999)","DOI":"10.1145\/319301.319345"},{"key":"5_CR29","first-page":"106","volume-title":"Proc. Symp. on Principles of Programming Languages","author":"G.C. Necula","year":"1997","unstructured":"Necula, G.C.: Proof-carrying code. In: Proc. Symp. on Principles of Programming Languages, Paris, pp. 106\u2013119. ACM, New York (1997)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Elliot, C.: Higher-order abstract syntax. In: Proc. Conf. on Programming Language Design and Implementation, pp. 199\u2013208 (1988)","DOI":"10.1145\/53990.54010"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D., Vouillon, J.: Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object Systems\u00a04 (1998)","DOI":"10.1002\/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.P.: Traits: Composable units of behaviour. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"issue":"1","key":"5_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1053468.1053469","volume":"27","author":"Z. Shao","year":"2005","unstructured":"Shao, Z., Trifonov, V., Saha, B., Papaspyrou, N.: A type system for certified binarios. ACM Trans. on Programming Languages and Systems\u00a027(1), 1\u201345 (2005)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"issue":"5","key":"5_CR34","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1145\/1018203.1018206","volume":"26","author":"C.A. Stone","year":"2004","unstructured":"Stone, C.A.: Extensible objects without labels. ACM Trans. on Programming Languages and Systems\u00a026(5), 805\u2013835 (2004)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"5_CR35","unstructured":"Vanderwaart, J.C.: Typed intermediate representations for compiling object-oriented languages. Williams College Senior Honors Thesis (1999)"}],"container-title":["Lecture Notes in Computer Science","Construction and Analysis of Safe, Secure, and Interoperable Smart Devices"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11741060_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T09:53:58Z","timestamp":1555581238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11741060_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540336891","9783540336914"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/11741060_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}