Αρχές Γλωσσών Προγραμματισμού

Το μάθημα καλύπτει βασικά και προχωρημένα θέματα των Αρχών Γλωσσών Προγραμματισμού που αποτελούν απαραίτητο υπόβαθρο σε διάφορους κλάδους της Πληροφορικής. Ιστορία των γλωσσών προγραμματισμού. Συντακτικό και σημασιολογία. Τύποι δεδομένων, εμβέλεια, διαδικασίες, μέθοδοι περάσματος παραμέτρων, υλοποίηση διαδικασιών. Βασικές κατηγορίες γλωσσών προγραμματισμού: διαδικαστικές, αντικειμενοστραφείς, λογικές, συναρτησιακές, παράλληλες. Θεωρητικά θέματα γλωσσών προγραμματισμού. Τεχνικές μετασχηματισμού και βελτιστοποίησης προγραμμάτων. Απόδειξη ορθότητας προγραμμάτων με τη χρήση της λογικής (λογική Floyd-Hoare). Λάμδα-λογισμός χωρίς τύπους: μετατροπές, κανονικές μορφές, θεώρημα Church-Rosser, εκφραστική ισχύς, εφαρμογές στις γλώσσες προγραμματισμού. Λάμδα-λογισμός με τύπους. Θεωρία τύπων και συστήματα εξαγωγής τύπων.