Σημασιολογία Γλωσσών Προγραμματισμού

Όσοι προτίθενται να παρακολουθήσουν το μάθημα, παρακαλώ να εγγραφούν στο eclass πριν την έναρξη του εαρινού εξαμήνου.

Ώρες διδασκαλίας του μαθήματος

Δευτέρα 13:00-15:00

Πέμπτη 12:00-14:00

Ύλη του μαθήματος

Σημασιολογία γλωσσών προγραμματισμού (Δηλωτική, Αξιωματική, Μηχανική). Ρόλος της σημασιολογίας

στη σχεδίαση και ανάπτυξη σύγχρονων γλωσσών προγραμματισμού. Σημασιολογία διαδικαστικών γλωσσών.

Πλήρεις σχέσεις μερικής διάταξης (cpos). Μονοτονικές και Συνεχείς Συναρτήσεις. Θεώρημα Σταθερού

Σημείου του Kleene. Σημασιολογία συναρτησιακών γλωσσών με αναδρομικούς ορισμούς και συναρτήσεις

υψηλής τάξης. Σημασιολογία λογικών προγραμμάτων. Μοντέλα Herbrand. Πλήρη πλέγματα (complete lattices)

και θεώρημα σταθερού σημείου των Knaster-Tarski. Θεώρημα ελάχιστου μοντέλου Herbrand. Σημασιολογία

της Άρνησης στο Λογικό Προγραμματισμό. Στρωματοποιημένα και τοπικά στρωματοποιημένα προγράμματα.

Καλώς-θεμελιωμένη σημασιολογία (well-founded semantics). Σημασιολογία σταθερού μοντέλου (stable model

semantics). Λογικός προγραμματισμός υψηλής τάξης. Θεωρία άπειρων παιγνίων και εφαρμογές στη

σημασιολογία γλωσσών προγραμματισμού.

Σημειώσεις και σχετικά άρθρα

• Σημασιολογία μιας απλής Προστακτικής (Imperative) γλώσσας (notes1.ps).
• Σημασιολογία μιας απλής Συναρτησιακής (Functional) γλώσσας πρώτης τάξης (notes2.ps).
• Λογικός Προγραμματισμός: J. W. Lloyd, Foundations of Logic Programming, Springer-Verlag, 1987 (partial pdf)
• Λογικός Προγραμματισμός: K. Apt, Logic Programming, Chapter 10 in Handbook of Theoretical Computer Science, Elsevier 1990
• M. Gelfond and V. Lifschitz, "The stable model semantics for logic programming" In Proceedings of ICLP-88, pp. 1070-1080
• Άρνηση στο Λογικό Προγραμματισμό: H. Przymusinska, T. Przymusinski, Semantic Issues in Deductive Databases and Logic Programs (1990)
• Δηλωτική Σημασιολογία της Άρνησης: P. Rondogiannis and W. W. Wadge, Minimum Model Semantics for Logic Programs with Negation-as-Failure (2005)

Βαθμολογία

Θα υπάρξει μία μεγάλη ασκήση με συντελεστή 40% που θα απαιτεί μια τελική παρουσίαση.

Επιπλέον, θα υπάρξει και τελική εξέταση η οποία θα έχει (προφανώς) συντελεστή 60%.