|
|
|
|
αρχική · σπουδές
| Αρχές Γλωσσών Προγραμματισμού |
| Χαρακτηρισμός |
Γενικής Υποδομής |
| Κωδικός Μαθήματος |
424 |
| Περιγραφή |
Αρχές σχεδιασμού και ερμηνείας γλωσσών προγραμματισμού, επιλογή υποδείγματος. Ενδεικτικά αναφέρουμε την περίπτωση
συναρτησιακών γλωσσών: Γλώσσες με και χωρίς τύπους, Λογισμός λ. Βασική
σύνταξη, επάρκεια της γλώσσας, ορισμός type-checker και συμβολικού ερμηνευτή. Επεκτάσεις με αναδρομικούς τύπους. Εισαγωγή στον πολυμορφισμό
και στοιχεία δηλωτικής ερμηνείας (αν ο χρόνος το επιτρέπει). Σχεδιασμός ενός
υποδείγματος γλώσσας και ενός ερμηνευτή για τη γλώσσα. |
| Στόχος - Σκοπός |
Εξοικείωση με Θεμελιωτικούς Λογισμούς για Συναρτησιακό, Παράλληλο και Κατανεμημένο Προγραμματισμό. Κατανόηση των αρχών
σχεδιασμού και της ερμηνείας γλωσσών Προγραμματισμού. Η έμφαση δίνεται
στους λογισμούς συναρτησιακού προγραμματισμού.
Με την ολοκλήρωση του μαθήματος ο σπουδαστής θα είναι σε θέση να:
γνωρίζει τον τρόπο σύνταξης μιας γλώσσας με τύπους ή χωρίς τύπους
κατανοεί τον τρόπο ερμηνείας μιας γλώσσας
ορίζει αναδρομικές συναρτήσεις σε συναρτησιακές γλώσσες
αναγνωρίζει την επάρκεια μιας γλώσσας
σχεδιάζει ένα υπόδειγμα γλώσσας και έναν ερμηνευτή για τη γλώσσα αυτή. |
| Βιβλιογραφία |
• "Θεμελίωση και Σημασιολογία Γλωσσών Προγραμματισμού - Λογισμοί
λ", Χ. Χαρτώνας, Εκδόσεις Ζήτη
|
|
|
|
|
|
|
