\begin{thebibliography}{} \bibitem[\protect\citeauthoryear{Abadi, Cardelli}{95}]{AbaCar95} Abadi, M. und Cardelli, L. \newblock \glqq On Subtyping and Matching\grqq . \newblock In: {\em ECOOP '95 Conference Proceedings}. Springer-Verlag, Oktober 1995. \bibitem[\protect\citeauthoryear{Aho \bgroup et al.\egroup }{86}]{Dragonbook} Aho, A., Sethi, R., und Ullman, J.D. \newblock {\em Compilers: Principles, Techniques, Tools}. \newblock Addison-Wesley Publishing Company, Reading, Massachusetts, 1986. \bibitem[\protect\citeauthoryear{Appel}{89}]{Appel89} Appel, A.~W. \newblock \glqq Continuation-Passing, Closure-Passing Style\grqq . \newblock In: {\em Proceedings of the Sixteenth ACM Symposium on Principles of Programming Languages}, Januar 1989, S. 293--302. \bibitem[\protect\citeauthoryear{Atkinson}{86}]{Atkinson86} Atkinson, R.~G. \newblock \glqq Hurricane: An Optimizing Compiler for Smalltalk\grqq . \newblock In: {\em OOPSLA '86 Conference Proceedings}, Portland,OR., September 1986, S. 151--158. \newblock Published as SIGPLAN Notices 21(11). \bibitem[\protect\citeauthoryear{Auslander, Hopkins}{82}]{Auslander82} Auslander, M und Hopkins, M. \newblock \glqq An Overview of the PL.8 Compiler\grqq . \newblock In: {\em Proceedings of the ACM SIGPLAN 82 Symposium on Compiler Construction}, Boston, MA., Juni 1982. \bibitem[\protect\citeauthoryear{Bartley, Jensen}{86}]{BartleyJensen86} Bartley, D.H. und Jensen, J.C. \newblock \glqq The Implementation of {PC} {Scheme}\grqq . \newblock In: {\em Proceedings of the ACM Conference on Lisp and Functional Programming}, Cambridge, Massachusetts, 1986, S. 86--93. \bibitem[\protect\citeauthoryear{Bobrow \bgroup et al.\egroup }{88}]{CLOS88} Bobrow, D.G., DeMichiel, L.G., Gabriel, R.P., Keene, S.E., Kiczales, G., und Moon, D.A. \newblock \glqq Common Lisp Object System Specification\grqq . \newblock Technical Report ANSI Document X3J13 88-002R, Juni 1988. \newblock In: SIGPLAN Notices 23 (Special Issue), September 1988. \bibitem[\protect\citeauthoryear{Bruce}{96}]{Bruce96} Bruce, K. \newblock \glqq Typing in object-oriented languages: Achieving expressiveness and safety\grqq . \newblock Technical report, Williams College, 1996. \newblock erscheint in: Computing Surveys. ftp: cs.williams.edu/pub/kim. \bibitem[\protect\citeauthoryear{Cardelli \bgroup et al.\egroup }{89}]{Cardelli89} Cardelli, L., Donahue, J., Glassman, L., Jordan, M., Kalsow, B., und Nelson, G. \newblock \glqq Modula-3 Report (revised)\grqq . \newblock Report~52, DEC SRC, Palo Alto, November 1989. \bibitem[\protect\citeauthoryear{Chaitin \bgroup et al.\egroup }{81}]{Chaitin81} Chaitin, G.J., Auslander, M.A., Chandra, A.K., Cocke, J., Hopkins, M.E., und Markstein, P.W. \newblock \glqq Register allocation via coloring\grqq . \newblock {\em Computer Languages}, Jg. 6, 1981, S. 47--57. \bibitem[\protect\citeauthoryear{Chambers, Ungar}{89}]{ChaUng89} Chambers, C. und Ungar, D. \newblock \glqq Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language\grqq . \newblock In: {\em Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation}, Portland, OR., Juli 1989. \bibitem[\protect\citeauthoryear{Chambers}{92}]{Chambers92} Chambers, C. \newblock {\em The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages}. \newblock Dissertation, Stanford University, 1992. \bibitem[\protect\citeauthoryear{Chambers}{93}]{Cham93} Chambers, C. \newblock \glqq The {Cecil} language -- Specification and Rationale\grqq . \newblock Technical Report TR 93-03-05, Dept. of Computer Science and Engineering, University of Washington, M"arz 1993. \bibitem[\protect\citeauthoryear{Chow, Hennessy}{90}]{ChowHen90} Chow, F.C. und Hennessy, J.L. \newblock \glqq The Priority-Based Coloring Approach to Register Allocation\grqq . \newblock In: {\em ACM Trans. on Programming Languages and Systems}, Bd. 12:4, Oktober 1990. \bibitem[\protect\citeauthoryear{Connor \bgroup et al.\egroup }{90}]{Connor90} Connor, R.C.H., Brown, A.L., Carrick, R., Dearle, A., und Morrison, R. \newblock \glqq The Persistent Abstract Machine\grqq . \newblock In: {\em Persistent Object Systems}. Springer-Verlag, 1990. \bibitem[\protect\citeauthoryear{Cox}{86}]{Cox86} Cox, B.~J. \newblock {\em Object Oriented Programming - An Evolutionary Approach}. \newblock Addison-Wesley Publishing Company, Reading, Massachusetts, 1986. \bibitem[\protect\citeauthoryear{Cutts \bgroup et al.\egroup }{94}]{CutConKirMor94} Cutts, Q.~I., Connor, R.C.H., Kirby, G.N.C., und Morrison, R. \newblock \glqq An Execution-Driven Approach to Code Optimisation\grqq . \newblock In: {\em Proceedings of the 17th Australasian Computer Science Conference}, Christchurch, New Zealand, 1994, S. 83--92. \bibitem[\protect\citeauthoryear{Deutsch, Schiffman}{84}]{DeSchi84} Deutsch, L.P. und Schiffman, A. \newblock \glqq Efficient Implementation of the Smalltalk-80 System\grqq . \newblock In: {\em Proceedings of the 11th Symposium on the Principles of Programming Languages}, Salt Lake City, UT., 1984. \bibitem[\protect\citeauthoryear{Driesen}{93}]{Driesen93} Driesen, K. \newblock \glqq Method Lookup Strategies in Dynamically Typed Object-Oriented Programming Languages\grqq . \newblock Diplomarbeit, Vrije Universiteit Brussel, 1993. \bibitem[\protect\citeauthoryear{Ellis, Stroustrup}{90}]{ElSt90} Ellis, M.A. und Stroustrup, B. \newblock {\em The Annotated C++ Reference Manual}. \newblock Addison-Wesley Publishing Company, Reading, Massachusetts, 1990. \bibitem[\protect\citeauthoryear{Engler, Proebsting}{94}]{Engler94} Engler, D.~R. und Proebsting, T.A. \newblock \glqq DCG: An Efficient, Retargetable Dynamic Code Generation System\grqq . \newblock In: {\em Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems}, Oktober 1994, S. 263--273. \bibitem[\protect\citeauthoryear{Gawecki, Matthes}{94}]{GaMa94} Gawecki, A. und Matthes, F. \newblock \glqq The {Tycoon} {Machine} {Language} {TML} - An Optimizable Persistent Program Representation\grqq . \newblock FIDE Technical Report FIDE/94/100, Fachbereich Informatik, Universit"at Hamburg, Juli 1994. \bibitem[\protect\citeauthoryear{Gawecki, Matthes}{96}]{GawMat96b} Gawecki, A. und Matthes, F. \newblock \glqq Integrating Subtyping, Matching and Type Quantification: A Practical Perspective\grqq . \newblock In: {\em Proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96}, Linz,Austria, Juli 1996. \bibitem[\protect\citeauthoryear{Gawecki}{92}]{Gawecki91} Gawecki, A. \newblock \glqq {Ein} optimierender { \"Ubersetzer } f\"ur {Smalltalk}\grqq . \newblock Bericht FBI-HH-B-152/92, Fachbereich Informatik, Universit"at Hamburg, September 1992. \bibitem[\protect\citeauthoryear{Goldberg, Robson}{83}]{GoRo83} Goldberg, A. und Robson, D. \newblock {\em Smalltalk--80: The Language and its Implementation}. \newblock Addison-Wesley Publishing Company, Reading, Massachusetts, 1983. \bibitem[\protect\citeauthoryear{Gosling, McGilton}{95}]{JAVA} Gosling, J. und McGilton, H. \newblock \glqq The Java Language Environment White Paper\grqq . \newblock Technical report, Sun Microsystems, Inc., 1995. \bibitem[\protect\citeauthoryear{Grove \bgroup et al.\egroup }{95}]{GroDeaGarCha95} Grove, D., Dean, J., Garrett, C., und Chambers, C. \newblock \glqq Profile-Guided Receiver Class Prediction\grqq . \newblock In: {\em OOPSLA '95 Conference Proceedings}, Oktober 1995. \bibitem[\protect\citeauthoryear{Hennessy, Patterson}{90}]{HenPat90} Hennessy, J.L. und Patterson, D.A. \newblock {\em Computer Architecture A Quantitative Approach}. \newblock Morgan Kaufmann Publishers Inc., San Mateo, California, 1990. \bibitem[\protect\citeauthoryear{H"olzle}{94}]{Hoelzle94} H"olzle, U. \newblock {\em Adaptive Optimization for SELF: Reconciling High Performance with Exploratory Programming}. \newblock Dissertation, Stanford University, 1994. \bibitem[\protect\citeauthoryear{Hutchinson}{87}]{Hutchinson87} Hutchinson, N. \newblock {\em Emerald: An Object-Based Language for Distributed Programming}. \newblock Dissertation, Department of Computer Science, University of Washington, Seattle, Januar 1987. \newblock Technical Report: 87-01-01. \bibitem[\protect\citeauthoryear{Ingalls}{78}]{Ingalls78} Ingalls, D.H.H. \newblock \glqq The Smalltalk-76 Programming System: Design and Implementation\grqq . \newblock In: {\em Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages}, Tucson, AZ., Januar 1978, S. 9--16. \bibitem[\protect\citeauthoryear{Johnson \bgroup et al.\egroup }{88}]{JohGraZur88} Johnson, R.E., Graver, J.O., und Zurawski, L.W. \newblock \glqq TS: An Optimizing Compiler for Smalltalk\grqq . \newblock In: {\em OOPSLA '88 Conference Proceedings}, San Diego, CA., Oktober 1988, S. 18--26. \newblock Published as SIGPLAN Notices 23(11). \bibitem[\protect\citeauthoryear{Kelsey, Hudak}{89}]{Kelsey89a} Kelsey, R.A. und Hudak, P. \newblock \glqq Realistic Compilation By Program Transformation\grqq . \newblock In: {\em Proceedings of the Sixteenth ACM Symposium on Principles of Programming Languages}, Januar 1989, S. 281--292. \bibitem[\protect\citeauthoryear{Kiradjiev}{94}]{Kira94} Kiradjiev, P. \newblock \glqq {Dynamische} {Optimierung} in {CPS-orientierten} {Zwischensprachen}\grqq . \newblock Diplomarbeit, Fachbereich Informatik, Universit"at Hamburg, Dezember 1994. \bibitem[\protect\citeauthoryear{Kornacker}{95}]{Kornacker95} Kornacker, M. \newblock \glqq Persistente Sicherungspunkte f"ur langlebige Aktivit"aten in offenen Umgebungen\grqq . \newblock Diplomarbeit, Fachbereich Informatik, Universit"at Hamburg, August 1995. \bibitem[\protect\citeauthoryear{Kranz \bgroup et al.\egroup }{86}]{ORBIT} Kranz, D., Kelsey, R., Rees, J., Hudak, P., Philbin, J., und Adams, N. \newblock \glqq {ORBIT:} An Optimizing Compiler for {Scheme}\grqq . \newblock {\em ACM SIGPLAN Notices}, Jg. 21, Juli 1986, Nr. 7, S. 219--233. \bibitem[\protect\citeauthoryear{Krasner}{83}]{Kra83} Krasner, G. \newblock {\em Smalltalk-80 Bits of History, Words of Advice}. \newblock Addison-Wesley Publishing Company, Reading, Massachusetts, 1983. \bibitem[\protect\citeauthoryear{Lee, Leone}{96}]{LeeLeone96} Lee, P. und Leone, M. \newblock \glqq Optimizing ML with Run-Time Code Generation\grqq . \newblock In: {\em Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation}, Philadelphia, Mai 1996. \bibitem[\protect\citeauthoryear{Levesque, Brachman}{85}]{LevesqueBrachman85} Levesque, H.J. und Brachman, R.J. \newblock \glqq A Fundamental Tradeoff in Knowledge Representation and Reasoning\grqq . \newblock In: {\em Readings in Knowledge Representation}. Morgan Kaufmann Publishers Inc., San Mateo, California, 1985, S. 42--70. \bibitem[\protect\citeauthoryear{Mathiske \bgroup et al.\egroup }{95}]{Mathiske95} Mathiske, B., Matthes, F., und Schmidt, W., J. \newblock \glqq On Migrating Threads\grqq . \newblock In: {\em Proceedings of the Second International Workshop on Next Generation Information Technologies and Systems}, Naharia, Israel, Juni 1995. \newblock Also appeared as TR FIDE/95/136, FIDE Technical Report Series. \bibitem[\protect\citeauthoryear{Matthes, Schmidt}{92}]{MatSchm92} Matthes, F. und Schmidt, J.W. \newblock \glqq Definition of the {Tycoon} {Language} {TL} -- A Preliminary Report\grqq . \newblock Informatik Fachbericht {FBI-HH-B-160/92}, Fachbereich Informatik, Universit"at Hamburg, November 1992. \bibitem[\protect\citeauthoryear{Matthes, Schmidt}{94}]{MatSchm94} Matthes, F. und Schmidt, J.~W. \newblock \glqq Persistent Threads\grqq . \newblock In: {\em Proceedings of the 20th Conference on Very Large Databases, VLDB '94}, Santiago, Chile, September 1994. \bibitem[\protect\citeauthoryear{Meyer}{88}]{Meyer88} Meyer, B. \newblock {\em Object-oriented Software Construction}. \newblock International Series in Computer Science. Prentice Hall, Englewood Cliffs, New Jersey, 1988. \bibitem[\protect\citeauthoryear{Morrison \bgroup et al.\egroup }{94}]{Napier88} Morrison, R., Brown, A.L., Connor, R.C.H., Cutts, Q.I., Dearle, A., Kirby, G.N.C., und Munro, D.S. \newblock \glqq The Napier88 Reference Manual (Release 2.0)\grqq . \newblock FIDE Technical Report FIDE/94/104, University of St. Andrews, 1994. \bibitem[\protect\citeauthoryear{Reade}{89}]{Reade89} Reade, C. \newblock {\em Elements of Functional Programming}. \newblock Addison-Wesley Publishing Company, Reading, Massachusetts, 1989. \bibitem[\protect\citeauthoryear{R"omer, Lotter}{93}]{RoeLot93} R"omer, T. und Lotter, B. \newblock \glqq Ein generisches W"orterbuch beliebiger Dimension in Tycoon\grqq . \newblock Studienarbeit, Fachbereich Informatik, Universit"at Hamburg, November 1993. \bibitem[\protect\citeauthoryear{R"omer, Lotter}{96}]{RoeLot96} R"omer, T. und Lotter, B. \newblock \glqq Prinzipien des Entwurfes von Software-Bibliotheken f"ur Massendatentypen und ihre Umsetzung in das Tycoon-System\grqq . \newblock Diplomarbeit, Fachbereich Informatik, Universit"at Hamburg, April 1996. \bibitem[\protect\citeauthoryear{Steele}{78}]{Steele78} Steele, G.L. \newblock \glqq Rabbit: A Compiler for {SCHEME}\grqq . \newblock Technical report, Massachusetts Institute of Technology, Mai 1978. \bibitem[\protect\citeauthoryear{Stoy}{77}]{Stoy77} Stoy, J.E. \newblock {\em Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory}. \newblock MIT Press, Cambridge, MA, 1977. \bibitem[\protect\citeauthoryear{Teodosiu}{91}]{HARE} Teodosiu, D. \newblock \glqq HARE: An Optimizing Portable Compiler for {Scheme}\grqq . \newblock {\em ACM SIGPLAN Notices}, Jg. 26, Januar 1991, Nr. 1, S. 109--120. \bibitem[\protect\citeauthoryear{Ungar \bgroup et al.\egroup }{84}]{SOAR84} Ungar, D., Blau, R., Foley, P., und Patterson, D. \newblock \glqq Architecture of SOAR: Smalltalk on a RISC\grqq . \newblock In: {\em Eleventh Annual International Symposium on Computer Architecture}, Ann Arbor, MI., 1984. \bibitem[\protect\citeauthoryear{Ungar, Smith}{87}]{Ungar87} Ungar, D. und Smith, R.B. \newblock \glqq {Self}: The Power of Simplicity\grqq . \newblock In: {\em Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, Orlando, Florida}, 1987, S. 227 -- 242. \bibitem[\protect\citeauthoryear{Ungar}{87}]{Ungar87a} Ungar, D. \newblock {\em The Design and Evaluation of a High-Performance Smalltalk System}. \newblock MIT Press, Cambridge, MA, 1987. \bibitem[\protect\citeauthoryear{Weikard}{96}]{Weikard96} Weikard, M. \newblock \glqq Dynamische Maschinencodegenerierung in Tycoon\grqq . \newblock Studienarbeit, Fachbereich Informatik, Universit"at Hamburg, 1996. \newblock in Vorbereitung. \bibitem[\protect\citeauthoryear{Wulf \bgroup et al.\egroup }{73}]{Wulf73} Wulf, W.A., Johnsson, R.K., Weinstock, C.B., und Hobbs, S.O. \newblock \glqq The Design of an Optimizing Compiler\grqq . \newblock Technical Report AFOSR-TR-74-0096, Carnegie Mellon University, Air Force Office of Scientific Research, 1973. \end{thebibliography}