Πλοήγηση ανά Θέμα refinement types
Εμφάνιση αποτελεσμάτων 1 έως 2 από 2
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας | Επιβλέπων Καθηγητής |
---|---|---|---|
13-Οκτ-2021 | Επαλήθευση πολυπλοκότητας αλγορίθμων σε LiquidHaskell | Διαμαντάκης, Παναγιώτης | Παπασπύρου Νικόλαος |
16-Ιου-2018 | ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΣΕ LIQUID HASKELL | Πέτρου, Γεώργιος | Παπασπύρου Νικόλαος |