\relax \bibstyle{snamed} \citation{LevesqueBrachman85} \citation{Hoelzle94} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {1.}Einleitung}{1}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.1}Gliederung}{2}} \citation{MatSchm92} \citation{Mathiske95} \citation{MatSchm94} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {2.}Die Sprache TooL in der persistenten Programmierumgebung Tycoon}{3}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{TycLayers}{{2}{3}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2.1}{\ignorespaces Architektur des Tycoon Systems}}{4}} \newlabel{TycoonLayers}{{2.1}{4}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.1}TML: eine maschinenunabh\string\active@dq\space \dq@prtct{a@}ngige Zwischensprache}{4}} \citation{Kornacker95} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.2}TVM: eine portable virtuelle Maschine}{5}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.3}TSP: eine portable Objektspeicherschnittstelle}{5}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.4}TooL im Tycoon System}{6}} \citation{GawMat96b} \citation{Cox86} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {3.}Die Programmiersprache TooL}{7}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{TooL}{{3}{7}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.1}Objektorientierte Programmierung}{7}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.2}Klassen und Vererbung}{7}} \citation{GoRo83} \citation{ElSt90} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {3.1}{\ignorespaces Die Massendatenhierachie in TooL (aus [Gawecki, Matthes 96]) }}{8}} \newlabel{TooLLibrary}{{3.1}{8}} \citation{Meyer88} \citation{CLOS88} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.3}Vererbung und der Aufruf von Methoden}{9}} \citation{Driesen93} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.4}Reine Objektorientierung}{10}} \citation{JohGraZur88} \citation{Ungar87} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.5}Das TooL Typsystem}{12}} \newlabel{TooLTypes}{{3.5}{12}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5.1}Strukturelle Typisierung}{12}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5.2}Der Typ Self}{12}} \citation{Bruce96} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5.3}Subtypisierung}{13}} \citation{AbaCar95} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5.4}Die \string\active@dq\space \dq@prtct{A@}hnlichkeitsrelation zwischen Objekttypen}{14}} \citation{GawMat96b} \citation{RoeLot96} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5.5}Subtypbegrenzung und \string\active@dq\space \dq@prtct{A@}hnlichkeitsbegrenzung}{15}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5.6}Typparameter}{15}} \citation{Kra83} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {4.}Ans\string\active@dq\space \dq@prtct{a@}tze zur Optimierung objektorientierter Sprachen}{16}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{History}{{4}{16}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.1}Klassenabsch\string\active@dq\space \dq@prtct{a@}tzung}{16}} \citation{Ingalls78} \citation{DeSchi84} \citation{Ungar87} \citation{DeSchi84,Ungar87a,Gawecki91} \citation{Kra83} \citation{Chambers92} \citation{SOAR84} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.1}{\ignorespaces Einfache Klassenabsch\string\active@dq\space \dq@prtct{a@}tzung}}{17}} \newlabel{typepred}{{4.1}{17}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.2}Inline Caching}{17}} \citation{Hoelzle94} \citation{JohGraZur88} \citation{Atkinson86} \citation{Chambers92} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.2}{\ignorespaces Prinzip des Inline-Caching}}{18}} \newlabel{inlinecache}{{4.2}{18}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.3}Klassenanalyse und Splitting}{18}} \citation{Cham93} \citation{GroDeaGarCha95} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.3}{\ignorespaces Polymorphes Inline-Caching}}{19}} \newlabel{PIC}{{4.3}{19}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.4}Profilgesteuerte Optimierung}{19}} \newlabel{profileValidity}{{4.4}{19}} \citation{GroDeaGarCha95} \citation{CutConKirMor94} \citation{Napier88} \citation{ChaUng89} \citation{Gawecki91} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {4.4}{\ignorespaces Splitting}}{20}} \newlabel{Splitting}{{4.4}{20}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.5}Empf\string\active@dq\space \dq@prtct{a@}ngerspezifische \string\active@dq\space \dq@prtct{U@}bersetzung}{21}} \citation{Dragonbook} \citation{Auslander82} \citation{Steele78,BartleyJensen86,ORBIT,HARE} \citation{Appel89} \citation{Kelsey89a} \citation{Gawecki91} \citation{GaMa94,Kira94} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {5.}Lambdakalk\string\active@dq\space \dq@prtct{u@}l im Fortsetzungsstil als Zwischensprache}{22}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{TML}{{5}{22}} \@input{tmlast.aux} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.1}TML}{23}} \newlabel{TMLSection}{{5.1}{23}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {5.1}{\ignorespaces Abstrakte Syntax der Zwischensprache TML (aus [Gawecki, Matthes 94])}}{23}} \newlabel{TMLAST}{{5.1}{23}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {5.2}{\ignorespaces Einige primitive TML Operationen (aus [Gawecki,Mattes 94])}}{24}} \newlabel{TMLPrimOps}{{5.2}{24}} \newlabel{factorial}{{5.1}{24}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.2}Die Transformation von TooL nach TML}{25}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {5.3}{\ignorespaces Vereinfachte abstrakte Syntax von TooL}}{25}} \newlabel{TooLAST}{{5.3}{25}} \citation{Kira94} \citation{Kira94} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.3}Reduktion als grundlegendes Optimierungprinzip von CPS}{27}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.3.1}Beta-Reduktion}{27}} \citation{Reade89} \citation{Stoy77} \citation{Atkinson86} \citation{JohGraZur88} \citation{Kira94} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {6.}Der TooL-Optimierer}{30}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{TheOptimizer}{{6}{30}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.1}{\ignorespaces Die Phasen des TooL-Optimierers}}{30}} \newlabel{OptimizerStrategy}{{6.1}{30}} \citation{Hoelzle94} \citation{GroDeaGarCha95} \citation{Kra83} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.1}Profiling}{31}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.2}{\ignorespaces Struktur eines Profileintrags}}{31}} \newlabel{ProfileTable}{{6.2}{31}} \citation{GroDeaGarCha95} \citation{JohGraZur88} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.2}Aufbau eines empf\string\active@dq\space \dq@prtct{a@}nger- und argumentspezifisch optimierten Methoden\discretionary {-}{}{}caches}{32}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.3}Markierte Typen}{32}} \newlabel{BrandedTypes}{{6.3}{32}} \citation{Cardelli89} \citation{Hutchinson87} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.4}Klassenanalyse}{34}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.1}Der Analyse-Algorithmus}{34}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.2}Ein Beispiel}{35}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.3}Verbreitung von Klasseninformation}{36}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.4}Optimierung durch Beta-Reduktion}{37}} \newlabel{Y-Format}{{6.4.4}{37}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4.5}Aufruf einer spezialisierten Methode}{38}} \citation{Kira94} \citation{Chambers92} \citation{Steele78} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6.5}Elimination von Endrekursion}{39}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {6.3}{\ignorespaces Kellerrahmen vor und nach einem Sprung an eine Fortsetzung mit mehreren Argumenten}}{41}} \newlabel{adjp}{{6.3}{41}} \citation{MatSchm94} \citation{Mathiske95} \citation{GoRo83} \citation{JAVA} \citation{BartleyJensen86} \citation{MatSchm92} \citation{GawMat96b} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {7.}Codegenerierung f\string\active@dq\space \dq@prtct{u@}r eine virtuelle Registermaschine}{45}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{CodeGen}{{7}{45}} \citation{LeeLeone96} \citation{Engler94} \citation{Connor90} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7.1}Die Architektur der Tycoon Registermaschine}{46}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {7.1}{\ignorespaces Format eines Funktionsabschlusses}}{46}} \newlabel{ClosureFormat}{{7.1}{46}} \citation{HenPat90} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {7.2}{\ignorespaces Ausschnitt aus dem Instruktionssatz der Registermaschine}}{47}} \newlabel{TRMOpCodes}{{7.2}{47}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7.2}Codegenerierung f\string\active@dq\space \dq@prtct{u@}r die Registermaschine}{48}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2.1}Applikationen}{48}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2.2}Abstraktionen}{49}} \newlabel{abstractions}{{7.2.2}{49}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {7.3}{\ignorespaces Verkettung von Literalvektoren}}{50}} \newlabel{litvecChain}{{7.3}{50}} \citation{Appel89} \citation{Kelsey89a} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {7.4}{\ignorespaces Literalvektoren f\string\active@dq\space \dq@prtct{u@}r die Abstraktion {\string\psf\space {\string\pbf\space proc}(cc)$\string\pcomma\space $(cc a) }}}{51}} \newlabel{abstractionCode}{{7.4}{51}} \citation{Chaitin81} \citation{ChowHen90} \citation{Wulf73} \citation{Appel89} \citation{HARE} \citation{ORBIT} \@writefile{toc}{\string\contentsline\space {subsubsection}{Wechselseitig rekursive Abstraktionen}{52}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7.3}Registerallokation}{52}} \newlabel{regAlloc}{{7.3}{52}} \citation{Wulf73} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.3.1}Lebendigkeitsanalyse}{53}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {7.5}{\ignorespaces Linearordnung und Verzweigungsordnung eines TML-Baums}}{53}} \newlabel{lonFon}{{7.5}{53}} \citation{Wulf73} \citation{Appel89} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {7.6}{\ignorespaces Lebendigkeitsbereiche als Rechtecke}}{54}} \newlabel{lonluFonlu}{{7.6}{54}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.3.2}Registerzuordnung}{54}} \newlabel{TargetingStrategy}{{7.3.2}{54}} \citation{Dragonbook} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {7.7}{\ignorespaces Zuordnungsbeispiel}}{55}} \newlabel{targetExample}{{7.7}{55}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.3.3}Zuteilung der Register}{55}} \citation{HenPat90} \citation{RoeLot93} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {8.}Quantitative Ergebnisse}{58}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{Benchmarks}{{8}{58}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8.1}Die Performanz von TooL}{58}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1.1}Performanzsteigerungen durch Optimierungen}{59}} \citation{Hoelzle94} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.1}{\ignorespaces Performanzsteigerungen durch Optimierung von TooL-Programmen}}{60}} \newlabel{Speedup}{{8.1}{60}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.2}{\ignorespaces Methodenaufrufh\string\active@dq\space \dq@prtct{a@}ufigkeiten}}{60}} \newlabel{eliminatedSends}{{8.2}{60}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1.2}Codezuwachs durch Optimierungen}{61}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.3}{\ignorespaces Codezuwachs durch Optimierungen}}{61}} \newlabel{CodeGrowth}{{8.3}{61}} \citation{Hoelzle94} \citation{JAVA} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1.3}TooL im Vergleich zu TL und Java}{62}} \@writefile{toc}{\string\contentsline\space {subsubsection}{TooL vs. TL}{62}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.4}{\ignorespaces Performanzvergleich zwischen TooL und TL}}{62}} \newlabel{TooLvsTL}{{8.4}{62}} \@writefile{toc}{\string\contentsline\space {subsubsection}{TooL vs. Java}{63}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.5}{\ignorespaces Performanzvergleich zwischen TooL und Java}}{63}} \newlabel{TooLvsJava}{{8.5}{63}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1.4}Fazit}{63}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8.2}Performanzvergleich zwischen der Registerarchitektur und der Kellerarchitektur}{64}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2.1}Auswirkung der verschiedenen Interpreterimplementierungen}{64}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.6}{\ignorespaces Vergleich der Ausf\string\active@dq\space \dq@prtct{u@}hrungszeiten f\string\active@dq\space \dq@prtct{u@}r TL-Grundoperationen}}{64}} \newlabel{primBench}{{8.6}{64}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2.2}Benchmarks}{64}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.7}{\ignorespaces Vergleich der Ausf\string\active@dq\space \dq@prtct{u@}hrungszeiten der nicht-optimierten Benchmarkprogramme}}{65}} \newlabel{fullBench}{{8.7}{65}} \@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {8.8}{\ignorespaces Vergleich der Ausf\string\active@dq\space \dq@prtct{u@}hrungszeiten der optimierten Benchmarkprogramme}}{65}} \newlabel{fullBenchOpt}{{8.8}{65}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2.3}Aufwand der Registerallokation}{65}} \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2.4}Fazit}{66}} \citation{Hoelzle94} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {9.}Zusammenfassung und Ausblick}{67}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \newlabel{resumee}{{9}{67}} \citation{DeSchi84} \citation{Weikard96} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {A.}Optimierungsphasen am Beispiel der {\string\psf\space while}-Methode}{69}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {B.}TML-Primitive}{72}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {B.1}Urspr\string\active@dq\space \dq@prtct{u@}ngliche TML-Primitive im Tycoon-Backend}{72}} \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {B.2}TooL-spezifische TML-Primitive}{73}} \bibdata{/users/dbis1/dbis/bib/dbis-macros,dipl} \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {C.}TRM-Befehlssatz}{74}} \@writefile{lof}{\string\addvspace\space {10pt}} \@writefile{lot}{\string\addvspace\space {10pt}} \@writefile{toc}{\string\contentsline\space {chapter}{Literaturverzeichnis}{75}} \bibcite{AbaCar95}{\citeauthoryear {Abadi, Cardelli}{95}} \bibcite{Dragonbook}{\citeauthoryear {Aho \bgroup et al.\egroup }{86}} \bibcite{Appel89}{\citeauthoryear {Appel}{89}} \bibcite{Atkinson86}{\citeauthoryear {Atkinson}{86}} \bibcite{Auslander82}{\citeauthoryear {Auslander, Hopkins}{82}} \bibcite{BartleyJensen86}{\citeauthoryear {Bartley, Jensen}{86}} \bibcite{CLOS88}{\citeauthoryear {Bobrow \bgroup et al.\egroup }{88}} \bibcite{Bruce96}{\citeauthoryear {Bruce}{96}} \bibcite{Cardelli89}{\citeauthoryear {Cardelli \bgroup et al.\egroup }{89}} \bibcite{Chaitin81}{\citeauthoryear {Chaitin \bgroup et al.\egroup }{81}} \bibcite{ChaUng89}{\citeauthoryear {Chambers, Ungar}{89}} \bibcite{Chambers92}{\citeauthoryear {Chambers}{92}} \bibcite{Cham93}{\citeauthoryear {Chambers}{93}} \bibcite{ChowHen90}{\citeauthoryear {Chow, Hennessy}{90}} \bibcite{Connor90}{\citeauthoryear {Connor \bgroup et al.\egroup }{90}} \bibcite{Cox86}{\citeauthoryear {Cox}{86}} \bibcite{CutConKirMor94}{\citeauthoryear {Cutts \bgroup et al.\egroup }{94}} \bibcite{DeSchi84}{\citeauthoryear {Deutsch, Schiffman}{84}} \bibcite{Driesen93}{\citeauthoryear {Driesen}{93}} \bibcite{ElSt90}{\citeauthoryear {Ellis, Stroustrup}{90}} \bibcite{Engler94}{\citeauthoryear {Engler, Proebsting}{94}} \bibcite{GaMa94}{\citeauthoryear {Gawecki, Matthes}{94}} \bibcite{GawMat96b}{\citeauthoryear {Gawecki, Matthes}{96}} \bibcite{Gawecki91}{\citeauthoryear {Gawecki}{92}} \bibcite{GoRo83}{\citeauthoryear {Goldberg, Robson}{83}} \bibcite{JAVA}{\citeauthoryear {Gosling, McGilton}{95}} \bibcite{GroDeaGarCha95}{\citeauthoryear {Grove \bgroup et al.\egroup }{95}} \bibcite{HenPat90}{\citeauthoryear {Hennessy, Patterson}{90}} \bibcite{Hoelzle94}{\citeauthoryear {H\active@dq \dq@prtct{o@}lzle}{94}} \bibcite{Hutchinson87}{\citeauthoryear {Hutchinson}{87}} \bibcite{Ingalls78}{\citeauthoryear {Ingalls}{78}} \bibcite{JohGraZur88}{\citeauthoryear {Johnson \bgroup et al.\egroup }{88}} \bibcite{Kelsey89a}{\citeauthoryear {Kelsey, Hudak}{89}} \bibcite{Kira94}{\citeauthoryear {Kiradjiev}{94}} \bibcite{Kornacker95}{\citeauthoryear {Kornacker}{95}} \bibcite{ORBIT}{\citeauthoryear {Kranz \bgroup et al.\egroup }{86}} \bibcite{Kra83}{\citeauthoryear {Krasner}{83}} \bibcite{LeeLeone96}{\citeauthoryear {Lee, Leone}{96}} \bibcite{LevesqueBrachman85}{\citeauthoryear {Levesque, Brachman}{85}} \bibcite{Mathiske95}{\citeauthoryear {Mathiske \bgroup et al.\egroup }{95}} \bibcite{MatSchm92}{\citeauthoryear {Matthes, Schmidt}{92}} \bibcite{MatSchm94}{\citeauthoryear {Matthes, Schmidt}{94}} \bibcite{Meyer88}{\citeauthoryear {Meyer}{88}} \bibcite{Napier88}{\citeauthoryear {Morrison \bgroup et al.\egroup }{94}} \bibcite{Reade89}{\citeauthoryear {Reade}{89}} \bibcite{RoeLot93}{\citeauthoryear {R\active@dq \dq@prtct{o@}mer, Lotter}{93}} \bibcite{RoeLot96}{\citeauthoryear {R\active@dq \dq@prtct{o@}mer, Lotter}{96}} \bibcite{Steele78}{\citeauthoryear {Steele}{78}} \bibcite{Stoy77}{\citeauthoryear {Stoy}{77}} \bibcite{HARE}{\citeauthoryear {Teodosiu}{91}} \bibcite{SOAR84}{\citeauthoryear {Ungar \bgroup et al.\egroup }{84}} \bibcite{Ungar87}{\citeauthoryear {Ungar, Smith}{87}} \bibcite{Ungar87a}{\citeauthoryear {Ungar}{87}} \bibcite{Weikard96}{\citeauthoryear {Weikard}{96}} \bibcite{Wulf73}{\citeauthoryear {Wulf \bgroup et al.\egroup }{73}}