Dynamic compilation for functional programs [Elektronische Ressource] / vorgelegt von Martin Grabmüller

Dynamic Compilation for Functional Programsvorgelegt von Diplom-InformatikerMartin Grabmulleraus Munc henvon der Fakult at IV { Elektrotechnik und Informatikder Technischen Universit at Berlinzur Erlangung des akademischen GradesDoktor der Ingenieurwissenschaften{ Dr.-Ing. {genehmigte DissertationPromotionsausschuss:Vorsitzender: Prof. Dr.-Ing. Sebastian M ollerBerichter: Prof. Dr. Peter PepperBerichter: Prof. Dr. Sabine GlesnerTag der wissenschaftlichen Aussprache: 21. April 2009Berlin 2009D 832ZusammenfassungDiese Arbeit behandelt die dynamische, zur Laufzeit statt ndende Ubersetzung undOptimierung funktionaler Programme. Ziel der Optimierung ist die erhohte Laufzeit-e zient der Programme, die durch die compilergesteuerte Eliminierung von Abstrak-tionen der Programmiersprache erreicht wird.Bei der Implementierung objekt-orientierter Programmiersprachen werden bereits seitmehreren Jahrzehnten Compiler-Techniken zur Laufzeit eingesetzt, um objekt-orien-tierte Programme e zient ausf uhren zu konnen. Spatestens seit der Einfuhrung der Programmiersprache Java und ihres auf einer abstrakten Maschine basierenden Aus-fuhrungsmodells hat sich die Praktikabilitat dieser Implementierungstechnik gezeigt.