1. Artemis
  2. ΣΗΜΜΥ
  3. Διπλωματικές Εργασίες - Theses
Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18114
Full metadata record
DC FieldValueLanguage
dc.contributor.authorΔιαμαντάκης, Παναγιώτης-
dc.date.accessioned2021-10-27T08:10:00Z-
dc.date.available2021-10-27T08:10:00Z-
dc.date.issued2021-10-13-
dc.identifier.urihttp://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18114-
dc.description.abstractΗ LiquidHaskell επεκτείνει το σύστημα τύπων της Haskell με λογικά κατηγορήματα που επιτρέπουν την επαλήθευση κρίσιμων ιδιοτήτων κατά την μεταγλώττιση από έναν SMT solver. Επίσης, χάρη στον μηχανισμό του reflection μπορεί να λειτουργήσει και ως σύστημα υποστήριξης αποδείξεων. Στην παρούσα διπλωματική παρουσιάζεται μια βιβλιοθήκη γραμμένη σε LiquidHaskell η οποία αξιοποιεί τις παραπάνω δυνατότητες και παρέχοντας τους κατάλληλους τύπους δεδομένων και συναρτήσεις, επιτρέπει την ανάλυση κατανάλωσης πόρων. Στη συνέχεια παρατίθενται υλοποιήσεις από γνωστούς αλγορίθμους σε Haskell που λειτουργούν ως παραδείγματα, για την επαλήθευση της αναμενόμενης συμπεριφοράς τους σε θέματα χρονικής πολυπλοκότητας.en_US
dc.languageelen_US
dc.subjectLiquidHaskellen_US
dc.subjectrefinement typesen_US
dc.subjectστατική επαλήθευσηen_US
dc.subjectσυστήματα υποστήριξης αποδείξεωνen_US
dc.subjectequational reasoningen_US
dc.subjectresource analysisen_US
dc.titleΕπαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskellen_US
dc.description.pages66en_US
dc.contributor.supervisorΠαπασπύρου Νικόλαοςen_US
dc.departmentΤομέας Τεχνολογίας Πληροφορικής και Υπολογιστώνen_US
Appears in Collections:Διπλωματικές Εργασίες - Theses

Files in This Item:
File Description SizeFormat 
diamantakis_TR-5-21.pdf542 kBAdobe PDFView/Open
Show simple item record


Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.