Γλώσσες Προγραμματισμού ΙΙ
Κατ' επιλογήν υποχρεωτικό μάθημα ροής Λ, 9ου εξαμήνου, κωδικός 3.4.58.9
Εξάμηνο: Χειμερινό 2009
Διδάσκοντες:
Κωστής Σαγώνας
(kostis (AT) cs (DOT) ntua.gr )
γρ. 1.1.21
τηλ: 210-772-2487
Νίκος Παπασπύρου
(nickie (AT) softlab (DOT) ntua.gr )
γρ. 1.1.21
τηλ: 210-772-3393
Ανακοινώσεις
| Υλικό: Γενικά , Moodle , Ασκήσεις , Διαφάνειες , Παλαιότερα έτη Διαλέξεις:
14/10 |
21/10 |
28/10 |
4/11 |
11/11 |
18/11 |
25/11 |
2/12 |
9/12 | 16/12 | 22/12 | 13/1
14/10/2009 Οι διαλέξεις του μαθήματος αρχίζουν σήμερα. Θα διεξάγονται κάθε Τετάρτη,
ώρα 11:45-14:30 , στην Αίθουσα 06 του Νέου Κτιρίου Ηλεκτρολόγων.
Υλικό
Οι ασκήσεις πρέπει να παραδοθούν στους διδάσκοντες σε ηλεκτρονική
μορφή μέσω του συνεργατικού συστήματος ηλεκτρονικής μάθησης Moodle .
Η προθεσμία παράδοσης θα τηρείται αυστηρά.
Έχετε δικαίωμα να καθυστερήσετε το πολύ μία άσκηση.
1
Haskell
8/11/2009 PDF (130KB)
2
Εξαγωγή τύπων
8/11/2009 15/11/2009 PDF (112KB)
3
Εικονικές μηχανές
2/12/2009 PDF (122KB)
4+5
Συστήματα τύπων
20/12/2009
PDF (99KB)
6
Διαχείριση μνήμης
23/12/2009 28/12/2009PDF (107KB)
7+9
Υλοποίηση συναρτησιακών γλωσσών + Ταυτοχρονισμός
26/4/2010 PDF (113KB)
8
Γλώσσες σεναρίων
24/1/2010 (τέλος μαθημάτων) PDF (96KB)
10
Δηλωτική σημασιολογία
14/3/2010 PDF (97KB)
11
Αξιωματική σημασιολογία
14/3/2010 PDF (83KB)
Οι διαφάνειες που θα χρησιμοποιούνται στις διαλέξεις είναι διαθέσιμες από την παρούσα σελίδα για τη διευκόλυνση των σπουδαστών, ώστε αυτοί να μη χρειάζεται να κρατούν εκτενείς σημειώσεις κατά τη διάρκεια των μαθημάτων. Η ύλη των διαφανειών παρουσιάζεται αναλυτικά στις σημειώσεις του μαθήματος.
Η γλώσσα Haskell: (PDF και PDF (317KB)) ή (PDF (85KB) και PDF (104KB))
Εξαγωγή τύπων: PDF (251KB) ή PDF (273KB)
Εικονικές μηχανές και οι διερμηνείς τους: PDF (251KB) ή PDF (273KB)
Συστήματα τύπων: PDF (406KB) ή PDF (357KB)
Δυναμική διαχείριση μνήμης: PDF (3.9MB) ή PDF (3.4MB)
Υλοποίηση γλωσσών συναρτησιακού προγραμματισμού: PDF (129KB)
Γλώσσες σεναρίων: (PDF (72KB) και PDF (354KB)) ή (PDF (63KB) και PDF (230KB))
Ταυτοχρονισμός και γλώσσες με ταυτοχρονισμό: PDF (478KB)
Δηλωτική σημασιολογία: PDF (277KB) ή PDF (256KB)
Αξιωματική σημασιολογία: PDF (175KB) ή PDF (169KB)
Σελίδα του μαθήματος για τα ακαδημαϊκά έτη: 2008-09 , 2007-08 , 2006-07 , 2005-06 , 2004-05 , 2003-04 , 2002-03 .
Διαλέξεις
Θέματα διεξαγωγής του μαθήματος
Η γλώσσα Haskell
Ορισμοί, συναρτήσεις, εκφράσεις και τιμές
Αυστηρό σύστημα τύπων με αυτόματη εξαγωγή τύπων
Δηλώσεις νέων τύπων και αναδρομικές δομές δεδομένων
Συναρτήσεις υψηλής τάξης
Διαφάνεια αναφοράς
Οκνηρή αποτίμηση
Η γλώσσα Haskell (συνέχεια)
Οκνηρή αποτίμηση
Παράδειγμα, αρίθμηση σε διάσχιση κατά πλάτος: bfn.hs
Παράδειγμα, γενίκευση αριθμών Fibonacci: genfib.hs
Κλάσεις τύπων (type classes)
Παρενέργειες στη Haskell και μονάδες (monads)
Εξαγωγή τύπων (type inference)
Παραδείγματα σε OCaml
Εξαγωγή τύπων στην πράξη
Περιορισμοί και επίλυση
Εφαρμογή στο λ-λογισμό
Εικονικές μηχανές και οι διερμηνείς τους
Εικονικές μηχανές
Ορισμός και παραδείγματα
Πλεονεκτήματα και μειονεκτήματα
Επιλογές σχεδιασμού και συστατικά των εικονικών μηχανών
Υλοποίηση των εικονικών μηχανών
Διερμηνείς
Μορφές διερμηνέων
Δομή των bytecode interpreters
Άμεσα και έμμεσα νηματικοί διερμηνείς (threaded code interpreters)
Συγχώνευση και εξειδίκευση εντολών
Συστήματα τύπων
Εισαγωγή
Βασικοί τύποι
Σύνταξη
Λειτουργική σημασιολογία
Κανόνες τύπων
Ιδιότητες του συστήματος τύπων
Τύποι συναρτήσεων
Απλές επεκτάσεις
Ο τύπος μονάδας — Unit
Ακολουθιακή αποτίμηση
Απόδοση ονομάτων — δομή let
Ζεύγη
Αθροίσματα
Αναδρομή
Συστήματα τύπων (συνέχεια)
Αναφορές
Εξαιρέσεις
Υποτύποι
Αναδρομικοί τύποι
Πολυμορφισμός 2ης τάξης
Πολυμορφισμός υψηλής τάξης
Υπαρξιακοί τύποι
Εξαρτώμενοι τύποι
Δυναμική διαχείριση μνήμης
Γλώσσες προγραμματισμού με άμεση και έμμεση δέσμευση και αποδέσμευση μνήμης
Ανακύκλωση μνήμης μέσω του αλγόριθμου mark-and-sweep
Ανακύκλωση μνήμης μέσω μετρήματος αναφορών (reference counting)
Ανακύκλωση μνήμης μέσω αντιγραφής &ndash ο αλγόριθμος του Cheney
Συλλογή σκουπιδιών σε γενεές (generational garbage collection)
Αυξητικοί, ταυτόχρονοι και συλλέκτες σκουπιδιών πραγματικού χρόνου
(incremental, concurrent, and real-time garbage collection)
Μαρκάρισμα με τρία χρώματα (tricolor marking)
Φράγματα ανάγνωσης και γραφής (read and write barriers)
Ο αλγόριθμος του Baker
Συνεργασία του συλλέκτη σκουπιδιών με τον compiler
Υλοποίηση γλωσσών συναρτησιακού προγραμματισμού
Υλοποίηση συναρτήσεων μέσω closures
Απουσία παρενεργειών και αναθέσεων σε μεταβλητές
Inline expansion
Closure conversion
Αποδοτική υλοποίηση αναδρομής ουράς
Υλοποίηση και βελτιστοποίηση προγραμμάτων σε οκνηρές γλώσσες
Deforestation
Strictness analysis
Γλώσσες σεναρίων
Εισαγωγή
Περιοχές εφαρμογών
Περιήγηση με τη Ruby
Σενάρια στον παγκόσμιο ιστό
Παραδείγματα
Ταυτοχρονισμός και γλώσσες με ταυτοχρονισμό
Διαμοιραζόμενα δεδομένα και συγχρονισμός
Ιδιότητες ασφάλειας και ζωτικότητας
Αμοιβαίος αποκλεισμός
Το πρόβλημα του παραγωγού-καταναλωτή
Το πρόβλημα των αναγνωστών-συγγραφέων
Οι δυσκολίες του παράλληλου προγραμματισμού και ο νόμος του Amdahl
Παραδείγματα
Σημασιολογία
Δηλωτική σημασιολογία
Μια απλή γλώσσα δυαδικών συμβολοσειρών
Μια απλή προστακτική γλώσσα
Σημασιολογία αριθμητικών και λογικών εκφράσεων
Σημασιολογία εντολών
Μεταβλητές και αναθέσεις
Αόριστες επαναλήψεις, εντολή while
Θεωρία πεδίων
Ορισμοί
Κατασκευές πεδίων
Μονότονες και συνεχείς συναρτήσεις
Θεώρημα ελάχιστου σταθερού σημείου
Δηλωτική σημασιολογία (συνέχεια)
Μια απλή προστακτική γλώσσα (ξανά)
Σημασιολογία του λ-λογισμού
Αξιωματική σημασιολογία και επαλήθευση προγραμμάτων
Τριάδες Hoare
Μια απλή προστακτική γλώσσα
Παραδείγμα:
υπολογισμός παραγοντικού στο Caduceus
Τελευταία αλλαγή: 30/9/10 2:22.
webmaster (AT) courses (DOT) softlab.ntua.gr
PDF, 119KB)
PDF (85KB) και