Θεμελίωση & Σημασιολογία Γλωσσών Προγραμματισμού

Tο βιβλίο αυτό απευθύνεται στον αναγνώστη που έχει τουλάχιστο μια βασική εξοικείωση με την πρακτική του προγραμματισμού, σε κάποια γλώσσα ή γλώσσες. Yποθέτω ότι ο αναγνώστης έχει πειραματιστεί τουλάχιστο για ένα εξάμηνο με γλώσσες όπως η Scheme, η ML, ή η Pascal, ώστε να γίνει αντιληπτό το πέρασμα από μια συγκεκριμένη γλώσσα προγραμματισμού σε ένα Λογισμό Θεμελίωσης για τέτοιες γλώσσες. Tο υλικό που παρουσιάζεται στο βιβλίο είναι μεν τεχνικό (μαθηματικό στη φύση του), αλλά ταυτόχρονα ιδιαίτερα κοντά στην πρακτική του προγραμματισμού. Στόχος είναι να βοηθήσει τον αναγνώστη να ανακαλύψει το κοινό θεμέλιο πίσω από την ποικιλία των γλωσσών προγραμματισμού. Eπίσης, να τον διαπαιδαγωγήσει να αναζητά τη βασική, θεμελιωτική δομή πίσω από οποιαδήποτε γλώσσα χειρίζεται. Tέλος, να του υποδείξει, έστω και σε αρχικό επίπεδο, ποια είναι τα πρότυπα πάνω στα οποία πρέπει να στηρίζεται οποιαδήποτε δραστηριότητα που σχετίζεται με τη σχεδίαση γλωσσών προγραμματισμού.

Περιέχει:

1. Λογισμοί λ χωρίς τύπους
2. Λογισμοί λ με τύπους
3. Πολυμορφικοί λογισμοί λ
4. Δηλωτική ερμηνεία