Darstellung / Vorschau
Ειδικά Θέματα: Προηγμένα Θέματα Μεταγλωττιστών και Ανάλυσης Προγραμμάτων
(M221) - Γιάννης Σμαραγδάκης
Beschreibung des Kurses
Το μάθημα δεν χρησιμοποιεί το e-class για επικοινωνία. Ελέγξτε τη σελίδα του διδάσκοντα για τη σελίδα του μαθήματος, η οποία περιέχει συνδέσμους για το/τα φόρουμ επικοινωνίας του τρέχοντος εξαμήνου.
Για το εαρινό εξάμηνο 2021, οι διαλέξεις θα γίνονται εδώ:
https://us02web.zoom.us/j/187653216?pwd=Sjd5dGNrYkhDMCtQOVRwc0Q3VFNTQT09
Το μάθημα έχει σαν βασικούς άξονες:
- στατική ανάλυση προγραμμάτων
- χρησιμοποιώντας λογικές προδιαγραφές
- με πλατφόρμα εφαρμογής τα Ethereum smart contracts (μικρά προγράμματα, που θέλουμε να τα αναλύσουμε για ενδιαφέρουσες ιδιότητες).
Creation Date
Dienstag, 20. Oktober 2020
-
Syllabus
There is no syllabus