Μάθημα : Ειδικά Θέματα: Προηγμένα Θέματα Μεταγλωττιστών και Ανάλυσης Προγραμμάτων

Το μάθημα δεν χρησιμοποιεί το e-class για επικοινωνία. Ελέγξτε τη σελίδα του διδάσκοντα για τη σελίδα του μαθήματος, η οποία περιέχει συνδέσμους για το/τα φόρουμ επικοινωνίας του τρέχοντος εξαμήνου.

Για το εαρινό εξάμηνο 2021, οι διαλέξεις θα γίνονται εδώ:
https://us02web.zoom.us/j/187653216?pwd=Sjd5dGNrYkhDMCtQOVRwc0Q3VFNTQT09

Το μάθημα έχει σαν βασικούς άξονες:

- στατική ανάλυση προγραμμάτων
- χρησιμοποιώντας λογικές προδιαγραφές
- με πλατφόρμα εφαρμογής τα Ethereum smart contracts (μικρά προγράμματα, που θέλουμε να τα αναλύσουμε για ενδιαφέρουσες ιδιότητες).