1. Αρχική σελίδα
  2. Αναζήτηση

Γραμμικοί τύποι και μετασχηματισμός περάσματος συνεχειών

Το τεκμήριο παρέχεται από τον φορέα :
Εθνικό Μετσόβιο Πολυτεχνείο   

Αποθετήριο :
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA   

δείτε την πρωτότυπη σελίδα τεκμηρίου
στον ιστότοπο του αποθετηρίου του φορέα για περισσότερες πληροφορίες και για να δείτε όλα τα ψηφιακά αρχεία του τεκμηρίου*



Γραμμικοί τύποι και μετασχηματισμός περάσματος συνεχειών (EL)
Linear types and continuation passing style transformation (EN)
Θεοφιλόπουλος, Παναγιώτης Α. (EL)
Theofilopoulos, Panagiotis A. (EN)
Σαγώνας, Κωνσταντίνος (EL)
Ζάχος, Ευστάθιος (EL)
Παπασπύρου, Νικόλαος (EL)
bachelorThesis
2011-11-11
2011-11-18T10:13:19Z
2011-11-08
2011-11-18
Σε αυτήν τη διπλωματική εργασία διερευνάται η αλληλεπίδραση ενός γραμμικού συστήματος τύπων που υποστηρίζει την προσωρινή μετατροπή γραμμικών σε μη-περιορισμένους τύπους και του στυλ περάσματος συνεχειών (continuation-passing style, CPS). Για το σκοπό αυτό ορίζεται η σύνταξη και η σημασιολογία της γλώσσας LetbangCPS, μίας γλώσσας προγραμματισμού χαμηλού επιπέδου η οποία χρησιμοποιεί ένα τέτοιο σύστημα τύπων, υποστηρίζει αναφορές στο στυλ της ML και έχει μορφή συμβατή με το στυλ περάσματος συνεχειών. Επιπλέον, ορίζεται ένας μετασχηματισμός περάσματος συνεχειών που μεταφράζει κάθε έγκυρο πρόγραμμα της συγγενικής γλώσσας Letbang σε ένα έγκυρο πρόγραμμα LetbangCPS. Στο πλαίσιο της εργασίας αυτής υλοποιήθηκαν ένας πειραματικός ελεγκτής τύπων και ένας διερ- μηνέας για τη γλώσσα LetbangCPS, καθώς και ο μετασχηματισμός περάσματος συνεχειών από τη Letbang στη LetbangCPS. (EL)
Παναγιώτης Α. Θεοφιλόπουλος (EL)
53 σ. (EL)
This diploma dissertation investigates the interaction between a linear type system supporting the temporary conversion of linear to unrestricted types and the continuation-passing style (CPS). To this goal, we define the syntax and semantics of LetbangCPS, a low-level programming language which uses such a type system, supports ML-style references and its form is compatible with the continuationpassing style. Moreover, we define a continuation-passing style transformation, which transforms every valid program written in the related language Letbang to a valid LetbangCPS program. Within the scope of this work, an experimental type checker and an interpreter for the language LetbangCPS have been implemented, alongside with the continuation-passing style transformation from Letbang to LetbangCPS (EN)
Ρητή αποδέσμευση μνήμης (EL)
Γραμμικό σύστημα τύπων (EL)
Αναφορές (EL)
Μετασχηματισμός περάσματος συνεχειών (EL)
References (EN)
Linear type system (EN)
Continuation-passing style transformation (EN)
Explicit memory deallocation (EN)
ML (EN)
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών (EL)
ETDFree-policy.xml (EN)
Εθνικό Μετσόβιο Πολυτεχνείο
Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Διπλωματικές Εργασίες



*Η εύρυθμη και αδιάλειπτη λειτουργία των διαδικτυακών διευθύνσεων των συλλογών (ψηφιακό αρχείο, καρτέλα τεκμηρίου στο αποθετήριο) είναι αποκλειστική ευθύνη των αντίστοιχων Φορέων περιεχομένου.