Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18114
Title: | Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskell |
Authors: | Διαμαντάκης, Παναγιώτης Παπασπύρου Νικόλαος |
Keywords: | LiquidHaskell refinement types στατική επαλήθευση συστήματα υποστήριξης αποδείξεων equational reasoning resource analysis |
Issue Date: | 13-Oct-2021 |
Abstract: | Η LiquidHaskell επεκτείνει το σύστημα τύπων της Haskell με λογικά κατηγορήματα που επιτρέπουν την επαλήθευση κρίσιμων ιδιοτήτων κατά την μεταγλώττιση από έναν SMT solver. Επίσης, χάρη στον μηχανισμό του reflection μπορεί να λειτουργήσει και ως σύστημα υποστήριξης αποδείξεων. Στην παρούσα διπλωματική παρουσιάζεται μια βιβλιοθήκη γραμμένη σε LiquidHaskell η οποία αξιοποιεί τις παραπάνω δυνατότητες και παρέχοντας τους κατάλληλους τύπους δεδομένων και συναρτήσεις, επιτρέπει την ανάλυση κατανάλωσης πόρων. Στη συνέχεια παρατίθενται υλοποιήσεις από γνωστούς αλγορίθμους σε Haskell που λειτουργούν ως παραδείγματα, για την επαλήθευση της αναμενόμενης συμπεριφοράς τους σε θέματα χρονικής πολυπλοκότητας. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18114 |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
diamantakis_TR-5-21.pdf | 542 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.