Γλώσσες Προγραμματισμού ΙΙ
Κατ' επιλογήν υποχρεωτικό μάθημα ροής Λ, 9ου εξαμήνου, κωδικός 3.4.3320.9
Εξάμηνο: Χειμερινό 2019
Διδάσκων:
Νίκος Παπασπύρου
(nickie (AT) softlab (DOT) ntua.gr )
γρ. 1.1.21
τηλ: 210-772-3393
Ανακοινώσεις
| Υλικό:
Γενικά ,
Moodle ,
Ασκήσεις ,
Διαφάνειες ,
Παλαιότερα έτη Διαλέξεις:
2/10 |
9/10 |
16/10 |
23/10 |
30/10 |
6/11 |
13/11 |
20/11 |
27/11 |
4/12 |
11/12 |
18/12 |
8/1 |
15/1 |
22/1
16/10/2019 ΠΡΟΣΟΧΗ: συνεργατικό σύστημα ηλεκτρονικής μάθησης (Moodle ). Αν δεν έχετε ήδη κωδικό , θα χρειαστεί να φτιάξετε έναν (επί τόπου). Για το σκοπό αυτό, θα χρειαστεί να δώσετε μια διεύθυνση e-mail, στην οποία θα σας αποσταλεί (αυτόματα) μήνυμα απαραίτητο για την ενεργοποίηση του κωδικού σας. Στη συνέχεια εγγραφείτε στο μάθημα Γλώσσες Προγραμματισμού ΙΙ.
9/10/2019 Οι διαλέξεις του μαθήματος άρχισαν σήμερα. Θα διεξάγονται Τετάρτη, ώρα 11:45-14:30 , στην Αίθουσα 001 του Νέου Κτιρίου Ηλεκτρολόγων.
Υλικό
Οι ασκήσεις πρέπει να παραδοθούν στους διδάσκοντες σε ηλεκτρονική
μορφή μέσω του συνεργατικού συστήματος ηλεκτρονικής μάθησης Moodle .
Η προθεσμία παράδοσης θα τηρείται αυστηρά.
Έχετε δικαίωμα να καθυστερήσετε το πολύ μία άσκηση.
1
Εικονικές μηχανές
15/12/2019
PDF PDF
2
Συλλογή σκουπιδιών
15/12/2019
PDF PDF
3
Το δις εξαμαρτείν ουκ ανδρός σοφού
15/12/2019
PDF PDF
4
Haskell, δέντρα, QuickCheck
2/2/2020
PDF PDF
5
Εξαγωγή τύπων
2/2/2020
PDF PDF Διάβασμα της εισόδου, σε Haskell .
6
Παραλληλισμός και ταυτοχρονισμός στη Haskell
2/2/2020
PDF PDF
7
Συστήματα τύπων
29/3/2020
PDF
8
Δηλωτική σημασιολογία
29/3/2020
PDF Υλοποίηση της σύνταξης, σε Haskell .
9
Γλώσσες σεναρίων
29/3/2020
PDF
10
Αξιωματική σημασιολογία
29/3/2020
PDF
Οι διαφάνειες που θα χρησιμοποιούνται στις διαλέξεις είναι διαθέσιμες από την παρούσα σελίδα για τη διευκόλυνση των σπουδαστών, ώστε αυτοί να μη χρειάζεται να κρατούν εκτενείς σημειώσεις κατά τη διάρκεια των μαθημάτων. Η ύλη των διαφανειών παρουσιάζεται αναλυτικά στις σημειώσεις του μαθήματος.
Σελίδα του μαθήματος για τα ακαδημαϊκά έτη: 2018-19 , 2017-18 , 2016-17 , 2015-16 , 2014-15 , 2013-14 , 2012-13 , 2011-12 , 2010-11 , 2009-10 , 2008-09 , 2007-08 , 2006-07 , 2005-06 , 2004-05 , 2003-04 , 2002-03 .
Διαλέξεις
Εικονικές μηχανές και οι διερμηνείς τους
Εικονικές μηχανές
Ορισμός και παραδείγματα
Πλεονεκτήματα και μειονεκτήματα
Επιλογές σχεδιασμού και συστατικά των εικονικών μηχανών
Τεχνικές υλοποίησης εικονικών μηχανών
Διερμηνείς
Μορφές διερμηνέων
Δομή των bytecode interpreters
Άμεσα και έμμεσα νηματικοί διερμηνείς (threaded code interpreters)
Συγχώνευση και εξειδίκευση εντολών
Δυναμική διαχείριση μνήμης
Γλώσσες προγραμματισμού με άμεση και έμμεση δέσμευση και αποδέσμευση μνήμης
Συλλογή σκουπιδιών Ανακύκλωση μνήμης μέσω του αλγόριθμου mark-and-sweep
Ανακύκλωση μνήμης μέσω μετρήματος αναφορών (reference counting)
Ανακύκλωση μνήμης μέσω αντιγραφής – ο αλγόριθμος του Cheney
Συλλογή σκουπιδιών σε γενεές (generational garbage collection)
(*) Αυξητικοί, ταυτόχρονοι και συλλέκτες σκουπιδιών πραγματικού χρόνου (incremental, concurrent, and real-time garbage collection)
Μαρκάρισμα με τρία χρώματα (tricolor marking)
Φράγματα ανάγνωσης και γραφής (read and write barriers)
Ο αλγόριθμος του Baker
Συνεργασία του συλλέκτη σκουπιδιών με τον compiler
Συντηρητική συλλογή σκουπιδιών (conservative garbage collection)
H γλώσσα Haskell: σειριακό κομμάτι
Εισαγωγή στη Haskell
Τύποι, πολυμορφισμός και συμπερασμός τύπων της Haskell
Συναρτήσεις υψηλής τάξης και ανώνυμες συναρτήσεις
List comprehensions
Προγραμματισμός με συναρτήσεις υψηλής τάξης
Qualified types και κλάσεις τύπων (type classes)
Οκνηρή αποτίμηση (lazy evaluation)
Άπειρες λίστες και παραδείγματα χειρισμού τους
Προγραμματισμός με άπειρες λίστες
H γλώσσα Haskell: σειριακό κομμάτι (δεύτερο μέρος)
Μια πιο βαθειά ματιά στην οκνηρή αποτίμηση
Τρόποι ελέγχου της οκνηρίας με χρήση seq
Space leaks και τρόποι αποφυγής τους
Παράδειγμα, tree DFS traversal: dfs.hs
Παράδειγμα, tree BFS traversal: bfs.hs
Μια πιο βαθειά ματιά στα Monads
Tree DFS traversal, με State monad: dfm.hs
H γλώσσα Haskell: σειριακό κομμάτι (τρίτο μέρος)
Property based testing με το QuickCheck
Παραλληλισμός και ταυτοχρονισμός στη Haskell
Παραλληλισμός και ταυτοχρονισμός στη Haskell
Εισαγωγή
Παραλληλισμός
Evaluation strategies
Par monad
Ταυτοχρονισμός
IO monad και MVar
Software Transactional Memory
Συστήματα τύπων
Εισαγωγή
Βασικοί τύποι
Σύνταξη
Λειτουργική σημασιολογία
Κανόνες τύπων
Ιδιότητες του συστήματος τύπων
Τύποι συναρτήσεων
Απλές επεκτάσεις
Ο τύπος μονάδας — Unit
Ακολουθιακή αποτίμηση
Απόδοση ονομάτων — δομή let
Συστήματα τύπων (συνέχεια)
Απλές επεκτάσεις (συνέχεια)
Ζεύγη
Αθροίσματα
Αναδρομή
Αναφορές
Εξαιρέσεις
Υποτύποι
Αναδρομικοί τύποι
Πολυμορφισμός 2ης τάξης
Πολυμορφισμός υψηλής τάξης
Υπαρξιακοί τύποι
Εξαρτώμενοι τύποι
Εξαγωγή τύπων (type inference)
Παραδείγματα σε OCaml
Εξαγωγή τύπων στην πράξη
Περιορισμοί και επίλυση
Εφαρμογή στο λ-λογισμό
Σημασιολογία
Δηλωτική σημασιολογία
Μια απλή γλώσσα δυαδικών συμβολοσειρών
Μια απλή προστακτική γλώσσα
Σημασιολογία αριθμητικών και λογικών εκφράσεων
Σημασιολογία εντολών
Μεταβλητές και αναθέσεις
Αόριστες επαναλήψεις, εντολή while
(*) Υλοποίηση σε Haskell: densem.hs
Θεωρία πεδίων
Ορισμοί
Κατασκευές πεδίων
Μονότονες και συνεχείς συναρτήσεις
Θεώρημα ελάχιστου σταθερού σημείου
Δηλωτική σημασιολογία (συνέχεια)
Μια απλή προστακτική γλώσσα (ξανά)
Σημασιολογία του λ-λογισμού
Γλώσσες σεναρίων
Εισαγωγή
Περιοχές εφαρμογών
Περιήγηση με τη Ruby
Περιήγηση με την Python
Παραδείγματα
Γλώσσες σεναρίων (συνέχεια)
Αξιωματική σημασιολογία και επαλήθευση προγραμμάτων
Τριάδες Hoare
Μια απλή προστακτική γλώσσα
Παραδείγμα: υπολογισμός παραγοντικού
Παραδείγμα: ποιος βλέπει την πόρτα του κυλικείου
(*) Παράδειγμα: εύρεση δύο στοιχείων πίνακα με δοθέν άθροισμα
(*) Παράδειγμα: υπολογισμός ακέραιας δύναμης (άσκηση 2008-09) στο Frama-C
(*) Παράδειγμα: έλεγχος πρώτου αριθμού (άσκηση 2009-10)
με επανάληψη, διαιρώντας με όλους τους προηγούμενους: prime.c
(*) Παράδειγμα: υπολογισμός μέγιστου κέρδους (άσκηση 2010-11)
Τελευταία αλλαγή: 30/10/2019, 18:32 UTC.
webmaster (AT) courses (DOT) softlab.ntua.gr
PDF).
PDF