{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:46Z","timestamp":1725488146061},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672623"},{"type":"electronic","value":"9783540464259"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46425-5_9","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:00:14Z","timestamp":1185933614000},"page":"135-149","source":"Crossref","is-referenced-by-count":10,"title":["A Calculus for Compiling and Linking Classes"],"prefix":"10.1007","author":[{"given":"Kathleen","family":"Fisher","sequence":"first","affiliation":[]},{"given":"John","family":"Reppy","sequence":"additional","affiliation":[]},{"given":"Jon G.","family":"Riecke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,12]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M. and L. Cardelli. A Theory of Objects. Springer-Verlag, New York, NY, 1996."},{"key":"9_CR2","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1998","unstructured":"Arnold, K. and J. Gosling. The Java Programming Language. Addison-Wesley, Reading, MA, 2nd edition, 1998.","edition":"2nd edition"},{"key":"9_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-18317-5_17","volume-title":"FPCA\u201987","author":"A.W. Appel","year":"1987","unstructured":"Appel, A.W. and D. B. MacQueen. A Standard ML compiler. In FPCA\u201987, vol. 274 of LNCS, NewYork, NY, September 1987. Springer-Verlag, pp. 301\u2013324."},{"key":"9_CR4","volume-title":"Compiling with Continuations","author":"A.W. Appel","year":"1992","unstructured":"Appel, A.W. Compiling with Continuations. Cambridge University Press, Cambridge, England, 1992."},{"key":"9_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/10704567_4","volume-title":"PPDP\u201999","author":"D. Ancona","year":"1999","unstructured":"Ancona, D. and E. Zucca. A primitive calculus for module systems. In PPDP\u201999, LNCS. Springer-Verlag, September 1999, pp. 62\u201379."},{"key":"9_CR6","unstructured":"Barendregt, H. P. The Lambda Calculus, vol. 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, revised edition, 1984."},{"key":"9_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/BFb0053376","volume-title":"ECOOP\u201997","author":"K. B. Bruce","year":"1997","unstructured":"Bruce, K. B., A. Fiech, and L. Petersen. Subtyping is not a good \u201cmatch\u201d for object-oriented languages. In ECOOP\u201997, vol. 1241 of LNCS, NewYork, NY, 1997. Springer-Verlag, pp. 104\u2013127."},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","volume-title":"ECOOP\u201999","author":"V. Bono","year":"1999","unstructured":"Bono, V., A. Patel, and V. Shmatikov. A core calculus of classes and mixins. In ECOOP\u201999, vol. 1628 of LNCS, NewYork, NY, June 1999. Springer-Verlag."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L. Program fragments, linking, and modularization. In POPL\u201997, January 1997, pp. 266\u2013277.","DOI":"10.1145\/263699.263735"},{"key":"9_CR10","unstructured":"Chambers, C. and W. Chen. Efficient predicate dispatching. Technical report, Department of Computer Science, University of Washington, 1998."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Dean, J., G. DeFouw, D. Grove, V. Litvinov, and C. Chambers. Vortex: An optimizing compiler for object-oriented languages. In OOPSLA\u201996, October 1995, pp. 83\u2013100.","DOI":"10.1145\/236338.236344"},{"key":"9_CR12","unstructured":"Drossopoulou, S., S. Eisenbach, and D. Wragg. A fragment calculus \u2014 towards a model of separate compilation, linking and binary compatibility. In LICS-14, June 1999, pp. 147\u2013156."},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Dean, J., D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP\u201995, August 1995.","DOI":"10.1007\/3-540-49538-X_5"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Driesen, K. and U. H\u00f6lzle. Minimizing row displacement dispatch tables. In OOPSLA\u201995, October 1995, pp. 141\u2013155.","DOI":"10.1145\/217838.217851"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Deutsch, L. P. and A. M. Schiffman. Efficient implementation of the Smalltalk-80 system. In POPL\u201984, January 1984, pp. 297\u2013302.","DOI":"10.1145\/800017.800542"},{"key":"9_CR16","first-page":"193","volume-title":"Formal Description of Programming Concepts-III","author":"M. Felleisen","year":"1986","unstructured":"Felleisen, M. and D. P. Friedman. Control operators, the SECD-machine, and the \u03bb-calculus. In M. Wirsing (ed.), Formal Description of Programming Concepts-III, pp. 193\u2013219. North-Holland, NewYork, N.Y., 1986."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Flatt, M. and M. Felleisen. Units: Cool modules for HOT languages. In PLDI\u201998, June 1998, pp. 236\u2013248.","DOI":"10.1145\/277652.277730"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Flatt, M., S. Krishnamurthi, and M. Felleisen. Classes and mixins. In POPL\u201998, January 1998, pp. 171\u2013183.","DOI":"10.1145\/268946.268961"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Fisher, K. and J. Reppy. The design of a class mechanism for Moby. In PLDI\u201999, May 1999, pp. 37\u201349.","DOI":"10.1145\/301618.301638"},{"key":"9_CR20","volume-title":"Technical Memorandum","author":"K. Fisher","year":"1999","unstructured":"Fisher, K. and J. Reppy. Foundations for Moby classes. Technical Memorandum, Bell Labs, Lucent Technologies, Murray Hill, NJ, February 1999."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Flanagan, C., A. Sabry, B. F. Duba, and M. Felleisen. The essence of compiling with continuations. In PLDI\u201993, June 1993, pp. 237\u2013247.","DOI":"10.1145\/155090.155113"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Grove, D., J. Dean, C. Garrett, and C. Chambers. Profile-guided receiver class prediction. In OOPSLA\u201995, October 1995, pp. 108\u2013123.","DOI":"10.1145\/217838.217848"},{"key":"9_CR23","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"Girard, J.-Y., Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, Cambridge, England, 1989."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Glew, N. and G. Morrisett. Type-safe linking and modular assembly language. In POPL\u201999, January 1999, pp. 250\u2013261.","DOI":"10.1145\/292540.292563"},{"key":"9_CR25","unstructured":"Leroy, X. The Objective Caml System (release 2.00), August 1998. Available from http:\/\/pauillac.inria.fr\/caml ."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"League, C., Z. Shao, and V. Trifonov. Representing Java classes in a typed intermediate language. In ICFP\u201999, September 1999, pp. 183\u2013196.","DOI":"10.21236\/ADA436495"},{"issue":"4","key":"9_CR27","first-page":"367","volume":"8","author":"D. P. Oliva","year":"1998","unstructured":"Oliva, D. P. and A. P. Tolmach. From ML to Ada: Strongly-typed language interoperability via source translation. JFP, 8(4), July 1998, pp. 367\u2013412.","journal-title":"JFP"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Ramsey, N. Relocating machine instructions by currying. In PLDI\u201996, May 1996, pp. 226\u2013236.","DOI":"10.1145\/231379.231429"},{"key":"9_CR29","unstructured":"R\u00e9my, D. Efficient representation of extensible records. In ML\u201992 Workshop, San Francisco, USA, June 1992. pp. 12\u201316."},{"key":"9_CR30","unstructured":"Riecke, J. G. and C. Stone. Privacy via subsumption. In FOOL5, January 1998. A longer version will appear in Information and Computation."},{"key":"9_CR31","first-page":"27","volume":"4","author":"D. R\u00e9my","year":"1998","unstructured":"R\u00e9my, D. and J. Vouillon. Objective ML: An effective object-oriented extension to ML. TAPOS, 4, 1998, pp. 27\u201350.","journal-title":"TAPOS"},{"key":"9_CR32","volume-title":"The Design and Evolution of C ++","author":"B. Stroustrup","year":"1994","unstructured":"Stroustrup, B. The Design and Evolution of C ++. Addison-Wesley, Reading, MA, 1994."},{"key":"9_CR33","volume-title":"The C ++ Programming Language","author":"B. Stroustrup","year":"1997","unstructured":"Stroustrup, B. The C ++ Programming Language. Addison-Wesley, Reading, MA, 3rd edition, 1997.","edition":"3rd edition"},{"key":"9_CR34","volume-title":"Design and implementation of code optimizations for a type-directed compiler for Standard ML","author":"D. Tarditi","year":"1996","unstructured":"Tarditi, D. Design and implementation of code optimizations for a type-directed compiler for Standard ML. Ph.D. dissertation, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 1996. Available as Technical Report CMU-CS-97-108."},{"key":"9_CR35","unstructured":"Vanderwaart, J. C. Typed intermediate representations for compiling object-oriented languages, May 1999. Williams College Senior Honors Thesis."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46425-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:29:06Z","timestamp":1556728146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46425-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672623","9783540464259"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-46425-5_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}