Font size: Αα Αα Αα hide gadgets
You are here: Courses » 2012-2013 » χειμερινό εξάμηνο » Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (2012-2013, χειμερινό εξάμηνο)

Συστήματα τύπων των γλωσσών προγραμματισμού: 2012-2013, χειμερινό εξάμηνο

This is a course that has been given 11 times. For information about this course in general (not just for this specific semester), visit its page: Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού.

Taught by: Νικόλαος Παπασπύρου
Start date: 23 Οκτωβρίου 2012
End date:

Teaching hours

  • every Τρίτη, 11:00-14:00, ΣΗΜΜΥ, ΕΜΠ (παλαιά κτ.)

Extra, date-specific lectures

  • Τρίτη, 23 Οκτ 2012: (1st meeting) Γ33, Τμήμα Μαθηματικών, ΕΚΠΑ

Course information

Το μάθημα αυτό έχει ως σκοπό τη μελέτη των συστημάτων τύπων (type systems) που χρησιμοποιούνται στις σύγχρονες γλώσσες προγραμματισμού. Μέσω των συστημάτων τύπων θα μελετηθούν σε βάθος τα κυριότερα χαρακτηριστικά των προστακτικών και συναρτησιακών γλωσσών προγραμματισμού: βασικοί τύποι, συναρτήσεις, αναδρομή, αναφορές, εξαιρέσεις, υποτύποι, αναδρομικοί τύποι, αντικείμενα, πολυμορφισμός, υπαρξιακοί και εξαρτώμενοι τύποι, τύποι και λογική. Έμφαση θα δοθεί στη συνεισφορά των συστημάτων τύπων για τον τυπικό ορισμό των γλωσσών καθώς και για τη μελέτη ιδιοτήτων ασφάλειας των προγραμμάτων. Για την περιγραφή της σημασιολογίας των υπό μελέτη γλωσσών θα χρησιμοποιηθεί η προσέγγιση της δομημένης λειτουργικής σημασιολογίας (structural operational semantics). Η αξιολόγηση των σπουδαστών γίνεται μέσω θεωρητικών και προγραμματιστικών ασκήσεων, που θα παραδίδουν οι σπουδαστές κατά τη διάρκεια του εξαμήνου.

Enrolled students



Τρίτη, 23 Οκτ 2012

Τρίτη, 30 Οκτ 2012

Τρίτη, 06 Νοέ 2012

Τρίτη, 13 Νοέ 2012

Τρίτη, 20 Νοέ 2012

Τρίτη, 27 Νοέ 2012

Τρίτη, 04 Δεκ 2012

Τρίτη, 11 Δεκ 2012

Τρίτη, 18 Δεκ 2012

Τρίτη, 08 Ιαν 2013

Τρίτη, 15 Ιαν 2013

Τρίτη, 22 Ιαν 2013

Τρίτη, 29 Ιαν 2013

Τρίτη, 05 Φεβ 2013

Τρίτη, 12 Φεβ 2013

Τρίτη, 19 Φεβ 2013

Τρίτη, 26 Φεβ 2013


You must be logged in to comment.


Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.