Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών Γλώσσες Προγραμματισμού ΙΙ https://courses.softlab.ntua.gr/pl2/

Γλώσσες Προγραμματισμού ΙΙ

Κατ' επιλογήν υποχρεωτικό μάθημα ροής Λ, 9ου εξαμήνου, κωδικός 3.4.58.9

Ανακοινώσεις | Υλικό: Γενικά, Moodle, Ασκήσεις, Διαφάνειες, Παλαιότερα έτη
Διαλέξεις: 9/10 | 15/10 | 16/10 | 23/10 | 30/10 | 5/11 | 6/11 | 13/11 | 20/11 | 4/12

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

Υλικό

Γενικά

• Ενημερωτικό φυλλάδιο ( PDF, 111KB).
• Ώρες γραφείου διδασκόντων: Παρασκευή 16:00–17:30.
• Εκτενής βιβλιογραφία και υλοποιήσεις γλωσσών.

Ασκήσεις

Οι ασκήσεις πρέπει να παραδοθούν στους διδάσκοντες σε ηλεκτρονική μορφή μέσω του συνεργατικού συστήματος ηλεκτρονικής μάθησης Moodle. Η προθεσμία παράδοσης θα τηρείται αυστηρά. Έχετε δικαίωμα να καθυστερήσετε το πολύ μία άσκηση.

Αριθμός	Αντικείμενο	Προθεσμία παράδοσης	Εκφώνηση	Επιπλέον υλικό
1	Αξιωματική σημασιολογία	8/11/2015	PDF (99KB)
2	Erlang και property-based testing	15/11/2015	PDF (91KB)
3	Erlang και παραλληλία	22/11/2015	PDF (123KB)	sudoku.erl problems.txt solutions.txt Makefile
4	Συστήματα τύπων	27/3/2016	PDF (91KB)
5	Εικονικές μηχανές	6/12/2015	PDF (98KB)
6	Συλλογή σκουπιδιών	13/12/2015	PDF (83KB)
7	Εξαγωγή τύπων	27/3/2016	PDF (97KB)
8	Δηλωτική σημασιολογία	27/3/2016	PDF (125KB)
9	Haskell	27/3/2016	PDF (101KB)

Διαφάνειες

Οι διαφάνειες που θα χρησιμοποιούνται στις διαλέξεις είναι διαθέσιμες από την παρούσα σελίδα για τη διευκόλυνση των σπουδαστών, ώστε αυτοί να μη χρειάζεται να κρατούν εκτενείς σημειώσεις κατά τη διάρκεια των μαθημάτων. Η ύλη των διαφανειών παρουσιάζεται αναλυτικά στις σημειώσεις του μαθήματος.

• Αξιωματική σημασιολογία:  PDF (175KB) ή  PDF (169KB)
• Η γλώσσα Erlang (σειριακό μέρος) και property-based testing:  PDF (157KB) ή  PDF (151KB)
• Η γλώσσα Erlang (μέρος ταυτοχρονισμού, κατανεμημένης και παράλληλης εκτέλεσης):  PDF (182KB) ή  PDF (175KB)
• Συστήματα τύπων:  PDF (406KB) ή  PDF (357KB)
• Εικονικές μηχανές και οι διερμηνείς τους:  PDF (251KB) ή  PDF (273KB)
• Δυναμική διαχείριση μνήμης:  PDF (3.9MB) ή  PDF (3.4MB)
• Δηλωτική σημασιολογία:  PDF (277KB) ή  PDF (256KB)
• Εξαγωγή τύπων:  PDF (251KB) ή  PDF (273KB)
• Η γλώσσα Haskell:
  • Μέρος 1ο: εισαγωγή:  PDF (181KB)
  • Μέρος 2ο: type classes, laziness, IO, modules:  PDF (256KB)
  • Μέρος 3ο: μια πιο βαθειά ματιά στην οκνηρή αποτίμηση:  PDF (162KB)

Παλαιότερα έτη

Σελίδα του μαθήματος για τα ακαδημαϊκά έτη: 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.

Διαλέξεις

Παράδοση 9/10/2015

• Αξιωματική σημασιολογία και επαλήθευση προγραμμάτων
  • Τριάδες Hoare
  • Μια απλή προστακτική γλώσσα
  • Παραδείγμα: υπολογισμός παραγοντικού
    • με επανάληψη: fact.c
    • με επανάληψη, ξεκινώντας από i=2: fact2.c
  • Παράδειγμα: εύρεση δύο στοιχείων πίνακα με δοθέν άθροισμα
    • με αλγόριθμο Ο(n²): sumx2.c
  • (*) Παράδειγμα: υπολογισμός ακέραιας δύναμης (άσκηση 2008-09) στο Frama-C
    • με απλή επανάληψη: pow-simple.c
    • με διαδοχικό τετραγωνισμό: pow.c
  • (*) Παράδειγμα: έλεγχος πρώτου αριθμού (άσκηση 2009-10)
    • με επανάληψη, διαιρώντας με όλους τους προηγούμενους: prime.c
  • (*) Παράδειγμα: υπολογισμός μέγιστου κέρδους (άσκηση 2010-11)
    • με αλγόριθμο Ο(n²): profit2.c
    • με αλγόριθμο Ο(n): profit.c

Παράδοση 15/10/2015

• H γλώσσα Erlang: σειριακό κομμάτι
  • Εισαγωγή στην Erlang
  • Όροι και τύποι δεδομένων της Erlang
  • List και bit string comprehensions
  • Εξαιρέσεις και χειρισμός τους
  • Το εργαλείο στατικής ανάλυσης Dialyzer
  • Unit testing με χρήση του εργαλείου EUnit
  • Property-based testing και PropEr

Παράδοση 16/10/2015

• H γλώσσα Erlang: ταυτοχρονισμός, κατανεμημένη και παράλληλη εκτέλεση
  • Διεργασίες και ταυτόχρονη εκτέλεση
  • Ανταλλαγή μηνυμάτων
  • Επιλεκτική λήψη μηνυμάτων
  • Αλλαγή κώδικα κατά τη διάρκεια της εκτέλεσης
  • Κατανεμημένη εκτέλεση προγραμμάτων
  • Παράλληλη εκτέλεση προγραμμάτων
  • Τεχνικές βελτίωσης της επίδοσης παράλληλης εκτέλεσης

Παράδοση 23/10/2015

• Συστήματα τύπων
  • Εισαγωγή
  • Βασικοί τύποι
    • Σύνταξη
    • Λειτουργική σημασιολογία
    • Κανόνες τύπων
    • Ιδιότητες του συστήματος τύπων
  • Τύποι συναρτήσεων
  • Απλές επεκτάσεις
    • Ο τύπος μονάδας — Unit
    • Ακολουθιακή αποτίμηση
    • Απόδοση ονομάτων — δομή let
    • Ζεύγη
    • Αθροίσματα
    • Αναδρομή
      • Τελεστής fix
      • Δομή letrec

Παράδοση 30/10/2015

• Συστήματα τύπων (συνέχεια)
  • Αναφορές
  • Εξαιρέσεις
  • Υποτύποι
  • Αναδρομικοί τύποι
  • Πολυμορφισμός 2ης τάξης
  • Πολυμορφισμός υψηλής τάξης
  • Υπαρξιακοί τύποι
  • Εξαρτώμενοι τύποι

Παράδοση 5/11/2015

• Εικονικές μηχανές και οι διερμηνείς τους
  • Εικονικές μηχανές
    • Ορισμός και παραδείγματα
    • Πλεονεκτήματα και μειονεκτήματα
    • Επιλογές σχεδιασμού και συστατικά των εικονικών μηχανών
    • Τεχνικές υλοποίησης εικονικών μηχανών
  • Διερμηνείς
    • Μορφές διερμηνέων
    • Δομή των bytecode interpreters
    • Άμεσα και έμμεσα νηματικοί διερμηνείς (threaded code interpreters)
    • Συγχώνευση και εξειδίκευση εντολών

Παράδοση 6/11/2015

• Δυναμική διαχείριση μνήμης
  • Γλώσσες προγραμματισμού με άμεση και έμμεση δέσμευση και αποδέσμευση μνήμης
  • Συλλογή σκουπιδιών
  • Ανακύκλωση μνήμης μέσω του αλγόριθμου 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)

Παράδοση 13/11/2015

• Σημασιολογία
• Δηλωτική σημασιολογία
  • Μια απλή γλώσσα δυαδικών συμβολοσειρών
  • Μια απλή προστακτική γλώσσα
    • Σημασιολογία αριθμητικών και λογικών εκφράσεων
    • Σημασιολογία εντολών
    • Μεταβλητές και αναθέσεις
    • Αόριστες επαναλήψεις, εντολή while
    • (*) Υλοποίηση σε Haskell: densem.hs
• Θεωρία πεδίων
  • Ορισμοί
  • Κατασκευές πεδίων
  • Μονότονες και συνεχείς συναρτήσεις
  • Θεώρημα ελάχιστου σταθερού σημείου
• Δηλωτική σημασιολογία (συνέχεια)
  • Μια απλή προστακτική γλώσσα (ξανά)
  • Σημασιολογία του λ-λογισμού

Παράδοση 20/11/2015

• Εξαγωγή τύπων (type inference)
  • Παραδείγματα σε OCaml
  • Εξαγωγή τύπων στην πράξη
  • Περιορισμοί και επίλυση
  • Εφαρμογή στο λ-λογισμό

Παράδοση 4/12/2015

• H γλώσσα Haskell: σειριακό κομμάτι (δύο διαλέξεις)
  • Εισαγωγή στη Haskell
  • Τύποι, πολυμορφισμός και συμπερασμός τύπων της Haskell
  • Συναρτήσεις υψηλής τάξης και ανώνυμες συναρτήσεις
  • List comprehensions
  • Προγραμματισμός με συναρτήσεις υψηλής τάξης
  • Qualified types και κλάσεις τύπων (type classes)
  • Οκνηρή αποτίμηση (lazy evaluation)
  • Άπειρες λίστες και παραδείγματα χειρισμού τους
  • IO και Monads
  • Modules
  • Μια πιο βαθειά ματιά στην οκνηρή αποτίμηση
  • Lazy IO
  • Τρόποι ελέγχου της οκνηρίας με χρήση seq
  • Space leaks και τρόποι αποφυγής τους