Εθνικό Μετσόβιο Πολυτεχνείο
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Καλώς ήρθατε στο Άρτεμις
Σκοπός του Άρτεμις είναι η συστηματική αρχειοθέτηση και διαδοση της πνευματικής παραγωγής της Σχολής Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του Εθνικού Μετσόβιου Πολυτεχνείου, με τη βοήθεια της τεχνολογίας των ψηφιακών βιβλιοθηκών.
Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18114| Τίτλος: | Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskell |
| Συγγραφείς: | Διαμαντάκης, Παναγιώτης Παπασπύρου Νικόλαος |
| Λέξεις κλειδιά: | LiquidHaskell refinement types στατική επαλήθευση συστήματα υποστήριξης αποδείξεων equational reasoning resource analysis |
| Ημερομηνία έκδοσης: | 13-Οκτ-2021 |
| Περίληψη: | Η LiquidHaskell επεκτείνει το σύστημα τύπων της Haskell με λογικά κατηγορήματα που επιτρέπουν την επαλήθευση κρίσιμων ιδιοτήτων κατά την μεταγλώττιση από έναν SMT solver. Επίσης, χάρη στον μηχανισμό του reflection μπορεί να λειτουργήσει και ως σύστημα υποστήριξης αποδείξεων. Στην παρούσα διπλωματική παρουσιάζεται μια βιβλιοθήκη γραμμένη σε LiquidHaskell η οποία αξιοποιεί τις παραπάνω δυνατότητες και παρέχοντας τους κατάλληλους τύπους δεδομένων και συναρτήσεις, επιτρέπει την ανάλυση κατανάλωσης πόρων. Στη συνέχεια παρατίθενται υλοποιήσεις από γνωστούς αλγορίθμους σε Haskell που λειτουργούν ως παραδείγματα, για την επαλήθευση της αναμενόμενης συμπεριφοράς τους σε θέματα χρονικής πολυπλοκότητας. |
| URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18114 |
| Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
| Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
|---|---|---|---|---|
| diamantakis_TR-5-21.pdf | 542 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.