Ενότητα 08: Ανάλυση προγραμμάτων, ροή δεδομένων, βελτιστοποίηση

Λέξεις κλειδιά: Optimization, constant propagation, constant folding, partial evaluation, algebraic simplifications, sub-expression elimination, dead code elimination, copy propagation, unreachable code elimination, loop optimization, strength reduction, induction variables, inlining, control flow, flow sensitive, control flow graph (CFG), node, Edge, basic blocks, program points, live variable analysis, liveness, computing liveness, analyzing instructions, liveness across instructions, analyzing control flow, system of equations, generalization, Lattice, confluence operator, Meet-, join-operator, termination, fixpoint, Knaster Tarski theorem

Παρουσιάσεις

Ενότητα 08: Ανάλυση προγραμμάτων, ροή δεδομένων, βελτιστοποίηση


Βιντεοσκοπημένες Διαλέξεις

ΕΙσαγωγή στις Βελτιστοποιήσεις (α).

Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-04-28 (Μέρος Α')

ΕΙσαγωγή στις Βελτιστοποιήσεις (β).

Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-04-28 (Μέρος Β')

Βελτιστοποιήσεις (α).

Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-05-04 (Μέρος Α')

Βελτιστοποιήσεις (β).

Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-05-04 (Μέρος Β')

Data-flow analysis (a).

Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-05-05 (Μέρος Α')

Data-flow analysis (b).

Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-05-05 (Μέρος Β')

Μίνι-φροντιστήριο άσκησης 4, Datalog programming

Διάλεξη Μαθήματος 'Μεταγλωττιστές' στις 2015-05-11 (Μέρος Α')