Μεταγλωττιστές
Ενότητες
Λέξεις κλειδιά: Hierarchy of Grammar classes, syntax directed translation, Errors, program checking, Semantic checking, Static checking, dynamic checking, Uniqueness check, type checking, flow-of-control-checks, scope, procedures, lexical scoping, shadowing, name spaces, compile-time, run-time, chained implementation, stack implementation, threaded stack implementation, symbol tables, type errors, type system, expressiveness, static type, conservative, properties of types, type expressions, type constructors, Arrays, products, records, pointers, function signatures, type equivalence, structural equivalence, representation, name equivalence, recursive types, coercions, integral promotions, overloading
Παρουσιάσεις | ||
| Ενότητα 05: Σημασιολογική ανάλυση και έλεγχος τύπων | ||
| ||
| Επίλογος συντακτικής ανάλυσης, εισαγωγή σε σημασιολογική ανάλυση Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-03-16 (Μέρος Α') |
||
| Εισαγωγή σε σημασιολογική ανάλυση, symbol tables Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-03-16 (Μέρος Β') |
||
| Semantic and type checking Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-03-17 (Μέρος Α') |
||
| Semantic and type chcecking Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-03-17 (Μέρος Β') |
||
| Παρουσίαση Άσκησης 2 Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-03-23 (Μέρος Α') |
||
| Παρουσίαση Άσκησης 2, επίλογος type checking Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-03-23 (Μέρος Β') |
||
