Non-Strict Pattern Matching and Delimited Control

Διπλωματική Εργασία uoadl:2182697 412 Αναγνώσεις

Μονάδα:
Κατεύθυνση Λογική και Θεωρία Αλγορίθμων και Υπολογισμού
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2017-11-10
Έτος εκπόνησης:
2017
Συγγραφέας:
Μπαρμπαγιάννης Πέτρος
Στοιχεία επιβλεπόντων καθηγητών:
Νικόλαος Παπασπύρου, Αναπληρωτής Καθηγητής
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Εθνικό Μετσόβιο Πολυτεχνείο
Πρωτότυπος Τίτλος:
Non-Strict Pattern Matching and Delimited Control
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Μη αυστηρό ταίριασμα προτύπων και οριοθετημένος έλεγχος
Περίληψη:
Η έννοια της συνέχειας ενός προγράμματος έχει αποδειχθεί ιδιαιτέρως χρήσιμη σε ένα ευρύ φάσμα ερευνητικών περιοχών που σχετίζονται με συναρτησιακές γλώσσες προγραμματισμού. Η εργασία αυτή μελετά μηχανισμούς αφαίρεσης ελέγχου οι οποίοι είναι ευρύτερα γνωστοί ως τελεστές ελέγχου και επιτρέπουν τη διαχείριση συνεχειών σε ένα πρόγραμμα. Επιπρόσθετα, εξετάζονται στρατηγικές αποτίμησης συναρτησιακών γλωσσών προγραμματισμού καθώς και πώς αυτές επηρεάζουν εκφράσεις ταιριάσματος προτύπων. Συγκεκριμένα, περιγράφεται η αποτίμηση τέτοιου είδους εκφράσεων σε γλώσσες με μη αυστηρή σημασιολογία. Επίσης, ερευνάται η σχέση τελεστών ελέγχου, οι οποίοι ονομάζονται τελεστές οριοθετημένου ελέγχου, με τη λειτουργική σημασιολογία γλωσσών που ακολουθούν μη αυστηρή στρατηγική αποτίμησης. Τέλος, προτείνεται η επέκταση υπάρχουσας υλοποίησης, η οποία βασίζεται σε οριοθετημένες συνέχειες, έτσι ώστε να αποτιμά εκφράσεις ταιριάσματος προτύπων.
Κύρια θεματική κατηγορία:
Θετικές Επιστήμες
Λοιπές θεματικές κατηγορίες:
Μαθηματικά
Λέξεις-κλειδιά:
συναρτησιακές γλώσσες προγραμματισμού, οριοθετημένες συνέχειες, ταίριασμα προτύπων, μη αυστηρή αποτίμηση
Ευρετήριο:
Όχι
Αρ. σελίδων ευρετηρίου:
0
Εικονογραφημένη:
Όχι
Αρ. βιβλιογραφικών αναφορών:
29
Αριθμός σελίδων:
74