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

Abstract

Σε αυτήν τη διπλωματική εργασία διερευνάται η αλληλεπίδραση ενός γραμμικού συστήματος τύπωνπου υποστηρίζει την προσωρινή μετατροπή γραμμικών σε μη-περιορισμένους τύπους και του στυλπεράσματος συνεχειών (continuation-passing style, CPS). Για το σκοπό αυτό ορίζεται η σύνταξη και ησημασιολογία της γλώσσας LetbangCPS, μίας γλώσσας προγραμματισμού χαμηλού επιπέδου η οποίαχρησιμοποιεί ένα τέτοιο σύστημα τύπων, υποστηρίζει αναφορές στο στυλ της ML και έχει μορφήσυμβατή με το στυλ περάσματος συνεχειών. Επιπλέον, ορίζεται ένας μετασχηματισμός περάσματοςσυνεχειών που μεταφράζει κάθε έγκυρο πρόγραμμα της συγγενικής γλώσσας Letbang σε ένα έγκυροπρόγραμμα LetbangCPS.Στο πλαίσιο της εργασίας αυτής υλοποιήθηκαν ένας πειραματικός ελεγκτής τύπων και ένας διερ-μηνέας για τη γλώσσα LetbangCPS, καθώς και ο μετασχηματισμός περάσματος συνεχειών από τηLetbang στη LetbangCPS.