Μονάδα:
Τμήμα Πληροφορικής & ΤηλεπικοινωνιώνΠληροφορική
Ημερομηνία κατάθεσης:
2016-11-21
Συγγραφέας:
Τάσος Αλέξανδρος
Στοιχεία επιβλεπόντων καθηγητών:
Παναγιώτης Ροντογιάννης, Καθηγητής, Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Άγγελος Χαραλαμπίδης, Μεταδιδατορικός Ερευνητής, ΕΚΕΦΕ Δημόκριτος
Πρωτότυπος Τίτλος:
WAM extensions for implementing higher order logic languages
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Επεκτάσεις της WAM για υλοποίηση λογικών γλωσσών υψηλής τάξης
Περίληψη:
Σε δημοσίευσή τους, οι Χαραλαμπίδης κ.ά. παρουσιάζουν μία εκδοχή της Prolog η οποία βασίζεται σε λογική υψηλότερης τάξης με Extensional Semantics (HOPES). Μία από τις προτάσεις της δημοσίευσης για περαιτέρω έρευνα είναι η δημιουργία μίας τροποποιημένης εκδοχής της WAM, ικανής να εκτελέσει τη HOPES. Μία τέτοια υλοποίηση περιγράφεται στην εργασία αυτή.
Κύρια θεματική κατηγορία:
Τεχνολογία – Πληροφορική
Λέξεις-κλειδιά:
Λογικός προγραμματισμός ανώτερης τάξης, Ενδιάμεση αναπαράσταση, Μεταγλωττιστές, WAM, Επεκτασιμότητα
Αρ. σελίδων ευρετηρίου:
2
Αρ. βιβλιογραφικών αναφορών:
15
wam.zip
32 KB
Δεν επιτρέπεται η πρόσβαση στο αρχείο.
