Unit:
Διαπανεπιστημιακό ΠΜΣ Λογική και Θεωρία Αλγορίθμων και ΥπολογισμούLibrary of the School of Science
Author:
Θεοφιλόπουλος Παναγιώτης
Supervisors info:
Νικόλαος Παπασπύρου, Αναπλ. Καθηγητής ΕΜΠ (επιβλέπων), Παναγιώτης Ροντογιάννης, Αναπλ. Καθηγητής ΕΚΠΑ, Ιωάννης Σμαραγδάκης, Αναπλ. Καθηγητής ΕΚΠΑ
Original Title:
An efficient implementation of lazy functional programming languages based on the generalized intensional transformation
Translated title:
Μία αποδοτική υλοποίηση οκνηρών συναρτησιακών γλωσσών προγραμματισμού βασισμένη στον γενικευμένο νοηματικό μετασχηματισμό
Summary:
This dissertation investigates theoretical and practical issues of the
integration between (well-known and novel) compilation techniques, such as the
generalized intensional transformation, defunctionalization, separate
compilation, and lambda lifting. An experimental Haskell compiler (GIC), which
incorporates these techniques, serves as a workbench allowing ideas to be
demonstrated and evaluated in a practical context. Within the scope of this
work, several additions and changes were made to the compiler either towards
enchancing the tool’s robustness or towards the optimization of the code
generated by the compiler’s LAR back-end.
Keywords:
Intensional transformation, Separate compilation, Lazy activation record, Lambda lifting, Haskell
Number of index pages:
15