Θεωρία Γλωσσών

Εισαγωγή στη σχεδίαση γλωσσών. Ιστορική επισκόπιση. Τύποι. Τιμές. Δηλώσεις. Εκφράσεις. Δομή προγράμματος (διαδικαστικές και αντικειμενοστρεφείς αρχιτεκτονικές,  εναλλακτικές αρχιτεκτονικές προγραμμάτων). Διαδικασίες. Συναρτήσεις και μέθοδοι (παράμετροι, διαχείριση μνήμης, αναδρομή, παραμετρικά υποπρογράμματα). Δομημένα δεδομένα (πίνακες, εγγραφές και τάξεις, δυναμικές δομές δεδομένων, strings, σύνολα, αρχεία). Κληρονομικότητα και δυναμική σύνδεση (πολυμορφισμός, abstract μέθοδοι και τάξεις, πολλαπλή κληρονομικότητα, κληρονομικότητα συμπεριφοράς).  Συναρτησιακές γλώσσες (Lisp, συστήματα FP, σύγχρονες συναρτησιακές γλώσσες). Λογικός προγραμματισμός (Prolog, δεδομένα αντικείμενα, αποδοτικότητα στην Prolog). Συνδρομικότητα και διαδικτύωση (συγχρονισμός διεργασιών και επικοινωνία, διαδικτυακός προγραμματισμός, προγραμματισμός πραγματικού χρόνου). Συντακτικό. Σημασιολογικά. Είσοδοι/έξοδοι. Γραφικές διεπαφές χρήστη. Μελλοντικές προοπτικές. Εργαστηριακές ασκήσεις. 

Εαρ. Εξάμηνο 2012 - 2013.

Πρόγραμμα: Τετάρτη 12.00-14.00 και Πέμπτη 16.00-18.00 Αίθ. 3

Ανακοινώσεις


Βιβλιογραφία

- "Βασικές Αρχές Γλωσσών Προγραμματισμού", E. Horowitz, Εκδόσεις Κλειδάριθμος, 1993.

- "Αρχές Γλωσσών Προγραμματισμού", Χ. Νομικός, 2004.

- "Αρχές Γλωσσών Προγραμματισμού", Ν. Παπασπύρου, Π. Ροντογιάννης, 2007.

- "Θεωρητική Πληροφορική: Γλώσσες Προγραμματισμού", Ε. Ζάχος, 2005.

- "Πραγματολογία των Γλωσσών Προγραμματισμού", M. Scott, Εκδόσεις Κλειδάριθμος, 2009.


Σχετικές ιστοσελίδες σε άλλα πανεπιστήμια

Χρ. Νομικός (Τμήμα Πληροφορικής, Πανεπιστήμιο Ιωαννίνων)

Π. Ροντογιάννης (Τμήμα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήμιο Αθηνών)

Κ. Σαγώνας, Ν. Παπασπύρου (Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο)


Ενημέρωση: 12-Οκτ-2023                                                                                                                            email: e<lastname>@dib.uth.gr