@string{mit ={Massachusetts Institute of Technology}} @string{OOPSLA89 = "OOPSLA '89 Conference Proceedings"} @string{OOPSLA95 = "OOPSLA '95 Conference Proceedings"} @string{MIT-Press = "MIT Press, Cambridge, MA"} @string{Addison-Wesley = "Addison-Wesley Publishing Company, Reading, Massachusetts"} @string{springer ={Springer-Verlag}} @string{princeton = "Princeton University"} @string{kaufmann = "Morgan Kaufmann Publishers Inc., San Mateo, California"} @string{uni-hh = {Fachbereich Informatik, Universit"at Hamburg}} @inproceedings{AbaCar95, author = "M. Abadi and L. Cardelli", title = "On Subtyping and Matching", booktitle = {ECOOP '95 Conference Proceedings}, publisher = springer, month = oct, year = {1995}, } @inproceedings{AgeHoe95, author = {Agesen, O. and Hoelzle, U.}, booktitle = OOPSLA95, month = oct, title = {Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages}, year = {1995}, address = {Austin, TX} } @inproceedings{AgePalSch93, author = {Agesen, O. and Palsberg, J. and Schwartzbach, M.I.}, booktitle = {ECOOP '93 Conference Proceedings}, month = jul, pages = "247--267", title = {Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance}, year = {1993}, address = {Kaiserslautern, Germany} } @inproceedings{Auslander82, author = {Auslander, M and Hopkins, M.}, booktitle = {Proceedings of the ACM SIGPLAN 82 Symposium on Compiler Construction}, month = jun, title = {An Overview of the PL.8 Compiler}, year = {1982}, address = {Boston, MA.} } @techreport{Bruce96, author = {Bruce, K.}, institution = {Williams College}, title = {Typing in object-oriented languages: Achieving expressiveness and safety}, year = {1996}, note = {erscheint in: Computing Surveys. ftp: cs.williams.edu/pub/kim} } @book{Dragonbook, author = {Aho, A. and Sethi, R. and Ullman, J.D.}, publisher = Addison-Wesley, title = {Compilers: Principles, Techniques, Tools}, year = {1986}, } @book{Appel92, author = {Appel, A. W.}, publisher = {Cambridge University Press}, title = {Compiling with Continuations}, year = {1992}, abstract = {closure, Standard ML, compiling, higher-order functions cps} } @inproceedings{Appel89, author = {Appel, A. W.}, booktitle = popl89, month = jan, pages = "293--302", title = {Continuation-Passing, Closure-Passing Style}, year = {1989}, abstract = {Compiler, Object Code, Transformation, Intermediate Language, Front End, Back End, Ordering Calls, Code Improvements, Environments, Continuation Passing } } @techreport{AppJim94, author = {Appel,A. W. and Jim,T.}, institution = princeton, key = {AppJim94}, month = nov , number = {CS-TR-477-94}, title = {Making Lambda Calculus Smaller, Faster}, year = {1994} } @article{AppShao92, author = {Appel,A. W. and Shao, Z.}, journal = {LISP AND SYMBOLIC COMPUTATION, Kluwer Academic Publishers, The Netherlands}, key = {AppShao92}, pages = {191-221}, title = {Callee-save Registers in Continuation-passing Style}, volume = {5}, year = {1992} } @inproceedings{Atkinson86, author = {Atkinson, R. G.}, booktitle = {OOPSLA '86 Conference Proceedings}, month = sep, pages = "151--158", title = {Hurricane: An Optimizing Compiler for Smalltalk}, year = {1986}, address = {Portland,OR.}, note = {Published as SIGPLAN Notices 21(11)} } @inproceedings{BartleyJensen86, author = {Bartley,D.H. and Jensen, J.C.}, booktitle = {Proceedings of the ACM Conference on Lisp and Functional Programming}, address = {Cambridge, Massachusetts}, pages = {86--93}, title = {The Implementation of {PC} {Scheme}}, year = {1986}, abstract = { Virtual Machine, Register Allocation, Threaded Code, Function Calls} } @techreport{BlaHut90, author = {Black, A. P. and Hutchinson, N. C.}, institution = {Dept. of Computer Science, University of Arizona}, month = dec , number = {TR-90-34}, title = {Typechecking polymorphism in Emerald}, year = {1990} } @techreport{CLOS88, author = {Bobrow, D.G. and DeMichiel, L.G. and Gabriel, R.P. and Keene, S.E. and Kiczales, G. and Moon, D.A.}, number = {ANSI Document X3J13 88-002R}, title = {Common Lisp Object System Specification}, year = {1988}, month = jun, note = {In: SIGPLAN Notices 23 (Special Issue), September 1988} } @inproceedings{Briot89, author = {Briot, J-P. and Cointe, P.}, booktitle = OOPSLA89, pages = "419 -- 431", title = {Programming with Explicit Metaclasses in {Smalltalk-80}}, year = {1989}, } @techreport{Cardelli90, author = {Cardelli, L.}, institution = {DEC SRC, Palo Alto}, key = {Cardelli 90}, title = {The Quest Language and System}, type = {Tracking Draft}, year = {1990} } @techreport{Cardelli89, author = {Cardelli,L. and Donahue, J. and Glassman, L. and Jordan, M. and Kalsow, B. and Nelson, G.}, institution = {DEC SRC, Palo Alto}, month = nov, number = {52}, title = {Modula-3 Report (revised)}, type = {Report}, year = {1989} } @article{Chaitin81, author = {Chaitin,G.J. and Auslander,M.A. and Chandra,A.K. and Cocke,J. and Hopkins,M.E. and Markstein,P.W.}, journal = {Computer Languages}, volume = {6}, key = {Chaitin81}, pages = {47-57}, title = {Register allocation via coloring}, year = {1981} } @inproceedings{Chambers91, author = {Chambers, C. and Ungar, D.}, booktitle = oopsla91, month = oct, pages = "1 -- 15", title = {Making Pure Object-Oriented Languages Practical}, year = {1991}, abstract = { } } @inproceedings{ChaUng89, author = {Chambers,C. and Ungar,D.}, booktitle = {Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation}, address = {Portland, OR.}, month = jul, title = {Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language}, year = {1989} } @techreport{Cham93, key= {Cham93}, author= {Chambers, C.}, title= {The {Cecil} language -- Specification and Rationale}, institution= {Dept. of Computer Science and Engineering, University of Washington}, number= {TR 93-03-05}, month= {M"arz}, year= {1993} } @inproceedings{ChowHen90, author = {Chow,F.C. and Hennessy,J.L.}, booktitle = {ACM Trans. on Programming Languages and Systems}, volume = {12:4}, title = {The Priority-Based Coloring Approach to Register Allocation}, month = oct, year = {1990} } @phdthesis{Chambers92, author = {Chambers,C.}, school = {Stanford University}, title = {The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages}, year = {1992} } @inproceedings{Connor90, author = {Connor, R.C.H. and Brown, A.L. and Carrick, R. and Dearle, A. and Morrison, R.}, booktitle = {Persistent Object Systems}, publisher = springer, title = {The Persistent Abstract Machine}, oages = "353-366", year = {1990} } @inproceedings{CoMa84, author = {Copeland, G. and Maier, D.}, booktitle = sigmod84, month = jun, pages = "316--325", title = {Making Smalltalk a database system}, year = {1984} } @inproceedings{CutConKirMor94, author = {Cutts,Q. I. and Connor, R.C.H. and Kirby, G.N.C. and Morrison,R.}, booktitle = {Proceedings of the 17th Australasian Computer Science Conference}, address = {Christchurch, New Zealand}, pages = "83--92", title = {An Execution-Driven Approach to Code Optimisation}, year = {1994}, } @book{Cox86, author = {Cox, B. J.}, publisher = Addison-Wesley, title = {Object Oriented Programming - An Evolutionary Approach}, year = {1986 } } @inproceedings{DeanChaGro94, author = {Dean,J. and Chambers,C. and Grove,D.}, booktitle = {Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Orlando,FL}, month = jun, title = {Identifying Profitable Specialization in Object-Oriented Languages}, year = {1994} } @inproceedings{DeanCha94, author = {Dean,J. and Chambers,C. }, booktitle = {Proceedings of the 1994 ACM Conference on LISP and Functional Programming}, address = {Orlando, FL.}, month = jun, title = {Towards Better Inlining Decisions Using Inlining Trials}, year = {1994} } @inproceedings{DeanChaGro95, author = {Dean,J. and Chambers,C. and Grove,D.}, booktitle = {SIGPLAN'95: Conference on Programming Language Design and Implementation (PLDI'95)}, month = jun, title = {Selective Specialization for Object-Oriented Languages}, year = {1995} } @inproceedings{DeSchi84, author = {Deutsch,L.P. and Schiffman,A.}, booktitle = {Proceedings of the 11th Symposium on the Principles of Programming Languages}, address = {Salt Lake City, UT.}, title = {Efficient Implementation of the Smalltalk-80 System}, year = {1984} } @inproceedings{DixMcKeeSchwVau89, author = {Dixon,R. and McKee,T. and Schweizer,P. and Vaughan,M.}, booktitle = OOPSLA89, month = oct, pages = {211--214}, title = {A Fast Method Dispatcher for Compiled Languages with Multiple Inheritance}, year = {1989} } @mastersthesis{Driesen93, author = {Driesen, K.}, school = {Vrije Universiteit Brussel}, title = {Method Lookup Strategies in Dynamically Typed Object-Oriented Programming Languages}, year = {1993} } @book{ElSt90, author = {Ellis, M.A. and Stroustrup, B.}, key = {ElSt90}, publisher = Addison-Wesley, title = {The Annotated C++ Reference Manual}, year = {1990}, keywords = {ANSI base document}, comments = {Signatur: P ELL # 16942 Projekt ASL 58702, Name mangling} } @inproceedings{Engler94, author = {Engler, D. R. and Proebsting, T.A.}, booktitle = "Proceedings of the Sixth International Conference on Architectural Support for Programming Languages and Operating Systems", pages = "263--273", title = {DCG: An Efficient, Retargetable Dynamic Code Generation System}, year = {1994}, month = oct } @techreport{Gawecki91, author = {Gawecki, A.}, institution = uni-hh, month = sep, number = {FBI-HH-B-152/92}, title = {{Ein} optimierender { \"Ubersetzer } f\"ur {Smalltalk}}, type = {Bericht}, year = {1992} } @techreport{GaMa94, author = {Gawecki, A. and Matthes, F.}, institution = uni-hh, key = {GaMa94}, month = jul, number = {FIDE/94/100}, title = {The {Tycoon} {Machine} {Language} {TML} - An Optimizable Persistent Program Representation}, type = {FIDE Technical Report}, year = {1994}, } @inproceedings{GawMat96a, author = {Gawecki, A. and Matthes, F.}, booktitle = {Proceedings of the 5th Conference on Extending Database Technology, EDBT '96}, address = {Avignon,France}, month = mar, title = {Exploiting Persistent Intermediate Code Representations in Open Database Environments}, year = {1996} } @inproceedings{GawMat96b, author = {Gawecki, A. and Matthes, F.}, booktitle = {Proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96}, address = {Linz,Austria}, title = {Integrating Subtyping, Matching and Type Quantification: A Practical Perspective}, month = jul, year = {1996} } @book{GoRo83, key= {GoRo83}, author= {Goldberg, A. and Robson, D.}, title= {Smalltalk--80: The Language and its Implementation}, publisher= Addison-Wesley, year= {1983} } @book {Gold84, author = {Goldberg, A.}, title = {Smalltalk--80: The Interactive Programming Environment}, publisher = Addison-Wesley, year = {1984}, key = {Gold84}, comment = {} } @techreport{JAVA, author = {Gosling, J. and McGilton, H.}, institution = {Sun Microsystems, Inc.}, title = {The Java Language Environment White Paper}, year = {1995}, } @inproceedings{GroDeaGarCha95, author = {Grove, D. and Dean, J. and Garrett, C. and Chambers, C.}, booktitle = OOPSLA95, month = oct, title = {Profile-Guided Receiver Class Prediction}, year = {1995} } @book{HenPat90, author = {Hennessy,J.L. and Patterson, D.A.}, key = {HenPat90}, publisher = kaufmann, title = {Computer Architecture A Quantitative Approach}, year = {1990}, } @phdthesis{Hoelzle94, author = {H"olzle,U.}, school = {Stanford University}, title = {Adaptive Optimization for SELF: Reconciling High Performance with Exploratory Programming}, year = {1994 } } @inproceedings{Hoelzle91, author = {H{\"o}lzle, U. and Chambers, C. and Ungar, D.}, booktitle = "Proceedings of the ECOOP'91 Conference", month = jul, title = {Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches}, year = "1991", abstract = { } } @phdthesis{Hutchinson87, author = {Hutchinson, N.}, month = jan, note = {Technical Report: 87-01-01}, school = {Department of Computer Science, University of Washington, Seattle}, title = {Emerald: An Object-Based Language for Distributed Programming}, year = {1987}, } @inproceedings{Ingalls78, author = {Ingalls, D.H.H.}, booktitle = {Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages}, address = {Tucson, AZ.}, month = jan, pages = {9-16}, title = {The Smalltalk-76 Programming System: Design and Implementation}, year = {1978} } @inproceedings{JohGraZur88, author = {Johnson, R.E. and Graver,J.O. and Zurawski,L.W.}, booktitle = {OOPSLA '88 Conference Proceedings}, address = {San Diego, CA.}, note = { Published as SIGPLAN Notices 23(11)}, month = oct, pages = {18-26}, title = {TS: An Optimizing Compiler for Smalltalk}, year = {1988} } @techreport{Kelsey89, author = {Kelsey, R.A.}, institution = {Yale University, Department of Computer Science}, month = may, title = {Compilation By Program Transformation}, year = {1989}, comment = {R22924} } @inproceedings{Kelsey89a, author = {Kelsey, R.A. and Hudak, P.}, booktitle = popl89, month = jan, pages = "281--292", title = {Realistic Compilation By Program Transformation}, year = {1989}, } @techreport{KelHud92, author = {Kelsey, R.A. and Hudak, P.}, institution = {Northeastern University College of Computer Science, Boston, MA.}, number = {NU-CCS-93-03}, title = {Tail-Recursive Stack Disciplines for an Interpreter}, year = {1992}, } @book{Kiczales91, author = {Kiczales, G. and Rivieres, J. and Bobrow, D.G.}, publisher = {MIT Press}, title = {The Art of the Metaobject Protocol}, year = {1991 } } @mastersthesis{Kira94, author = {Kiradjiev, P.}, key = {Kiradjiev 94}, month = dec, school = uni-hh, title = {{Dynamische} {Optimierung} in {CPS-orientierten} {Zwischensprachen}}, type = {Diplomarbeit}, year = {1994}, } @mastersthesis{Kornacker95, author = {Kornacker, M.}, month = aug, school = uni-hh, title = {Persistente Sicherungspunkte f"ur langlebige Aktivit"aten in offenen Umgebungen}, type = {Diplomarbeit}, year = {1995}, } @article{ORBIT, author = {Kranz, D. and Kelsey, R. and Rees, J. and Hudak, P. and Philbin, J. and Adams, N.}, journal = {ACM SIGPLAN Notices}, month = jul, number = {7}, pages = "219--233", title = {{ORBIT:} An Optimizing Compiler for {Scheme}}, volume = {21}, year = {1986}, abstract = {Assignment Conversion, Cell Conversion, Code Generation, Continuation Passing Style } } @book{Kra83, author = {Krasner, G.}, publisher = Addison-Wesley, title = {Smalltalk-80 Bits of History, Words of Advice}, year = {1983} } @inproceedings{LeeLeone94, author = {Lee, P. and Leone, M.}, booktitle = {Proceedings of the SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation}, note = {Published as: University of Melbourne Department of Computer Science Technical Report 94/9}, pages = "97--106", title = {Lightweight Run-Time Code Generation}, year = {1994}, month = jun } @inproceedings{LeeLeone96, author = {Lee, P. and Leone, M.}, booktitle = {Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation}, address = {Philadelphia}, title = {Optimizing ML with Run-Time Code Generation}, year = {1996}, month = may } @inproceedings{LevesqueBrachman85, author = {Levesque, H.J. and Brachman, R.J.}, booktitle = {Readings in Knowledge Representation}, pages = {42-70}, title = {A Fundamental Tradeoff in Knowledge Representation and Reasoning}, year = {1985}, publisher = kaufmann } @mastersthesis{Mathiske92, author = {Mathiske, B.}, key = {Mathiske92}, month = dec, school = uni-hh, title = {{Kodegenerierung} f\"ur {Programmiersprachen} mit {Persistenz}, {Polymorphie} und {Funktionen} h\"oherer {Ordnung}}, type = {Diplomarbeit}, year = {1992}, } @inproceedings{Mathiske95, author = {Mathiske,B. and Matthes,F. and Schmidt,J,W.}, booktitle = {Proceedings of the Second International Workshop on Next Generation Information Technologies and Systems}, address = {Naharia, Israel}, month = jun, title = {On Migrating Threads}, year = {1995}, note = {Also appeared as TR FIDE/95/136, FIDE Technical Report Series} } } @phdthesis{Matt92, author = {Matthes, F.}, month = sep, note = {(In German)}, school = uni-hh, title = {Generic Database Programming: A Linguistic and Architectural Framework}, year = {1992}, abstract = {DBPL classification, Tycoon architecture, TL intro, TL type rules, scoping rules using de Bruijn indices, TML structural operational semantics, TSP store protocol, excerpts from the Tycoon libraries, add-on vs. built-in } } @book{Matt93, author = {F. Matthes}, key = {Matt93}, publisher = springer, address = {Berlin u.a.}, title = {Persistente Objektsysteme: Integrierte Datenbankentwicklung und Programmerstellung}, year = {1993}, documentdirectory = {}, } @techreport{MaMu93, author = {Matthes, F. and M{\"u}{\ss}ig, S.}, institution = uni-hh, key = {MaMu93}, month = dec, number = {112-93}, title = {The {Tycoon} {Language} {TL}: An Introduction}, type = {DBIS Tycoon Report}, year = {1993}, } @techreport{MatSchm92, author = {Matthes, F. and Schmidt, J.W.}, institution = uni-hh, month = nov, number = {{FBI-HH-B-160/92}}, title = {Definition of the {Tycoon} {Language} {TL} -- A Preliminary Report}, type = {Informatik Fachbericht}, year = {1992}, } @inproceedings{MatSchm94, author = {Matthes, F. and Schmidt, J. W.}, booktitle = {Proceedings of the 20th Conference on Very Large Databases, VLDB '94}, address = {Santiago, Chile}, month = sep, title = {Persistent Threads}, year = {1994} } @book{Meyer88, author = {Meyer, B.}, key = {Meyer88}, publisher = prentice, series = {International Series in Computer Science}, title = {Object-oriented Software Construction}, year = {1988}, keywords = {Eiffel, description of OO PL concepts} } @article{Meyer90, author = {Meyer, B.}, journal = cacm, key = {Meyer90}, month = sep, number = {9}, pages = {69--88}, title = {Lessons from the Design of the Eiffel Libraries}, volume = {33}, year = {1990}, keywords = {Classes, Clusters, Invariants, Assertions, Naming, Uniformity of Interfaces, Classifying Data Structures, Bulk Data Structures (Access, Traversal, Storage), Browsing, Evolution of Libraries} } @book{MilToHa90, author = {Milner, R. and Tofte, M. and Harper, R.}, publisher = mit-press, title = {The Definition of {Standard ML}}, year = {1990}, keywords = {formal language report Standard ML}, comments = {Signatur P MIL #15645 54954} } @techreport{Napier88, author = {Morrison, R. and Brown, A.L. and Connor, R.C.H. and Cutts, Q.I. and Dearle, A. and Kirby, G.N.C. and Munro, D.S. }, institution = {University of St. Andrews}, number = {FIDE/94/104}, title = {The Napier88 Reference Manual (Release 2.0)}, type = {FIDE Technical Report}, year = {1994}, } @book{Reade89, author = {Reade, C.}, publisher = Addison-Wesley, title = {Elements of Functional Programming}, year = {1989}, } @mastersthesis{RoeLot93, author = {R"omer, T. and Lotter, B.}, month = nov, school = uni-hh, title = {Ein generisches W"orterbuch beliebiger Dimension in Tycoon}, type = {Studienarbeit}, year = {1993}, } @mastersthesis{RoeLot96, author = {R"omer, T. and Lotter, B.}, month = apr, school = uni-hh, title = {Prinzipien des Entwurfes von Software-Bibliotheken f"ur Massendatentypen und ihre Umsetzung in das Tycoon-System}, type = {Diplomarbeit}, year = {1996}, } @inproceedings{SabFell94, author = {Sabry,A. and Felleisen,M.}, booktitle = {SIGPLAN'94: Conference on Programming Language Design and Implementation (PLDI'94)}, title = {Is Continuation-Passing Useful for Data Flow Analysis ?}, year = {1994 } } @article{Steele86, author = {Steele,G.L.}, journal = sigplan, key = {Steele86}, month = dec, number = {12}, pages = {37--79}, title = {The Revised$^3$ Report on the Algorithmic Language {Scheme}}, volume = {21}, year = {1986}, keywords = {Language report {Scheme}, statically scoped Lisp} } @techreport{Steele78, author = {Steele,G.L.}, institution = mit, month = may, title = {Rabbit: A Compiler for {SCHEME}}, year = {1978}, abstract = {Compiler optimization, Transformation, Continuation Passing } } @book{Stoy77, author = {Stoy, J.E.}, publisher = mit-press, title = {Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory}, year = {1977}, } @article{HARE, author = {Teodosiu, D.}, journal = {ACM SIGPLAN Notices}, month = jan, number = {1}, pages = "109--120", title = {HARE: An Optimizing Portable Compiler for {Scheme}}, volume = {26}, year = {1991}, abstract = {Assignment Conversion, Cell Conversion, Code Generation, Continuation Passing Style, Abstract Machines, Register Machines } } @inproceedings{SOAR84, author = {Ungar, D. and Blau, R. and Foley,P. and Patterson,D.}, booktitle = {Eleventh Annual International Symposium on Computer Architecture}, address = {Ann Arbor, MI.}, title = {Architecture of SOAR: Smalltalk on a RISC}, year = {1984}, abstract = { } } @inproceedings{Ungar87, author = {Ungar, D. and Smith, R.B.}, booktitle = oopsla87, pages = "227 -- 242", title = {{Self}: The Power of Simplicity}, year = {1987}, } @book{Ungar87a, author = {Ungar,D.}, key = {Ungar87a}, publisher = MIT-Press, title = {The Design and Evaluation of a High-Performance Smalltalk System}, year = {1987}, comments = {Signatur:[Report Microfiche M1845 / R19939 49273]} } @mastersthesis{Weikard96, author = {Weikard, M.}, school = uni-hh, title = {Dynamische Maschinencodegenerierung in Tycoon}, type = {Studienarbeit}, note ={in Vorbereitung}, year = {1996}, } @techreport{Wulf73, author = {Wulf,W.A. and Johnsson,R.K. and Weinstock,C.B. and Hobbs,S.O.}, institution = {Carnegie Mellon University, Air Force Office of Scientific Research}, number = {AFOSR-TR-74-0096}, title = {The Design of an Optimizing Compiler}, year = {1973}, abstract = {Compiler, Intermediate Language, Front End, Back End, Code Improvements, Naming, Binding, } }