Γλώσσες Προγραμματισμού II

Θέματα θεωρίας. Εξετάζεται σε βάθος το θεωρητικό υπόβαθρο των κυριότερων μοντέλων γλωσσών προγραμματισμού: προστακτικού, συναρτησιακού, λογικού, αντικειμενοστρεφούς και ταυτόχρονου προγραμματισμού. Θεωρία πεδίων και λ-λογισμός. Συστήματα τύπων. Σημασιολογία γλωσσών προγραμματισμού: λειτουργική, δηλωτική και αξιωματική. Θέματα υλοποίησης. Εξετάζονται θέματα αποδοτικής υλοποίησης συναρτησιακών (ML και Haskell), λογικών (Prolog), και αντικειμενοστρεφών (π.χ. C++, Java και C#) γλωσσών προγραμματισμού. Αφηρημένες μηχανές και αλγόριθμοι αυτόματης διαχείρισης μνήμης. Θέματα υλοποίησης ταυτοχρονισμού και εξαιρέσεων. Γλώσσες σεναρίων (π.χ. Perl, Python, Ruby κλπ.).