Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskell

Διαμαντάκης, Παναγιώτης; Diamantakis, Panagiotis

dc.contributor.author	Διαμαντάκης, Παναγιώτης	el
dc.contributor.author	Diamantakis, Panagiotis	en
dc.date.accessioned	2022-04-04T09:39:02Z
dc.date.available	2022-04-04T09:39:02Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/55019
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.22717
dc.rights	Default License
dc.subject	LiquidHaskell	el
dc.subject	Refinement types	en
dc.subject	στατική επαλήθευση	el
dc.subject	συστήματα υποστήριξης αποδείξεων	el
dc.subject	Equational reasoning	el
dc.subject	Resource analysis	el
dc.subject	LiquidHaskell	en
dc.subject	Refinement types	en
dc.subject	Static verification	en
dc.subject	Proof assistants	en
dc.subject	Equational reasoning	en
dc.subject	Resource analysis	en
dc.title	Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskell	el
heal.type	bachelorThesis
heal.classification	Γλώσσες Προγραμματισμού	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2021-10-13
heal.abstract	Η LiquidHaskell επεκτείνει το σύστημα τύπων της Haskell με λογικά κατηγορήματα που επιτρέπουν την επαλήθευση κρίσιμων ιδιοτήτων κατά την μεταγλώττιση από έναν SMT solver. Επίσης, χάρη στον μηχανισμό του reflection μπορεί να λειτουργήσει και ως σύστημα υποστήριξης αποδείξεων. Στην παρούσα διπλωματική παρουσιάζεται μια βιβλιοθήκη γραμμένη σε LiquidHaskell η οποία αξιοποιεί τις παραπάνω δυνατότητες και παρέχοντας τους κατάλληλους τύπους δεδομένων και συναρτήσεις, επιτρέπει την ανάλυση κατανάλωσης πόρων. Στη συνέχεια παρατίθενται υλοποιήσεις από γνωστούς αλγορίθμους σε Haskell που λειτουργούν ως παραδείγματα, για την επαλήθευση της αναμενόμενης συμπεριφοράς τους σε θέματα χρονικής πολυπλοκότητας.	el
heal.advisorName	Παπασπύρου, Νικόλαος
heal.committeeMemberName	Παγουρτζής, Αριστείδης
heal.committeeMemberName	Φωτάκης, Δημήτριος
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών	el
heal.academicPublisherID	ntua
heal.fullTextAvailability	false