Μονάδα:
Διαπανεπιστημιακό ΠΜΣ Λογική και Θεωρία Αλγορίθμων και ΥπολογισμούΒιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2014-03-18
Συγγραφέας:
Θεοφιλόπουλος Παναγιώτης
Στοιχεία επιβλεπόντων καθηγητών:
Νικόλαος Παπασπύρου, Αναπλ. Καθηγητής ΕΜΠ (επιβλέπων), Παναγιώτης Ροντογιάννης, Αναπλ. Καθηγητής ΕΚΠΑ, Ιωάννης Σμαραγδάκης, Αναπλ. Καθηγητής ΕΚΠΑ
Πρωτότυπος Τίτλος:
An efficient implementation of lazy functional programming languages based on the generalized intensional transformation
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Μία αποδοτική υλοποίηση οκνηρών συναρτησιακών γλωσσών προγραμματισμού βασισμένη στον γενικευμένο νοηματικό μετασχηματισμό
Περίληψη:
Αυτή η εργασία διερευνά θεωρητικά και πρακτικά ζητήματα της αλληλεπίδρασης
μεταξύ (ευρέως γνωστών και νέων) τεχνικών μεταγλώττισης, όπως ο γενικευμένος
νοηματικός μετασχηματισμός, ο μετασχηματισμός σε συναρτησιακά αντικείμενα, η
ξεχωριστή μεταγλώττιση και η λάμβδα άρση. Ένας πειραματικός μεταγλωττιστής για
τη γλώσσα Haskell (GIC), ο οποίος χρησιμοποιεί τις τεχνικές αυτές, δίνει τη
δυνατότητα σε νέες ιδέες να υλοποιηθούν και να αξιολογηθούν μέσα σε ένα
πρακτικό πλαίσιο. Ως μέρος αυτής της δουλειάς πραγματοποιήθηκαν διάφορες
προσθήκες και αλλαγές στο μεταγλωττιστή, είτε προκειμένου να γίνει ο
μεταγλωττιστής πληρέστερος είτε προκειμένου να βελτιωθεί ο τελικός κώδικας που
παράγεται από το LAR back-end του μεταγλωττιστή.
Λέξεις-κλειδιά:
Νοηματικός μετασχηματισμός, Ξεχωριστή μεταγλώττιση, Οκνηρή εγγραφή ενεργοποίησης, Λάμβδα άρση, Haskell
Αρ. σελίδων ευρετηρίου:
15
Αρ. βιβλιογραφικών αναφορών:
68
