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

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

Στόχοι Μαθήματος

Εξοικείωση των σπουδαστών με τις γενικές αρχές του μαθήματος.

Προαπαιτούμενες Γνώσεις

Το μάθημα απευθύνεται σε σπουδαστές που έχουν περάσει το μάθημα των Γλωσσών Προγραμματισμού Ι και διαθέτουν εμπειρία στον προγραμματισμό ηλεκτρονικών υπολογιστών. Τα παραπάνω είναι προα- παιτούμενα. Χρήσιμο επίσης είναι να διαθέτουν βασικές γνώσεις μαθηματικής λογικής, αλγορίθμων και της δομής ενός μεταγλωττιστή (compiler).

Περιεχόμενα

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