Previous Up Next

5  Programa

5.1  Aulas teóricas

As aulas são organizadas da seguinte forma:

Nestas aulas, os tópicos seguintes serão abordados (em inglês):

Operational Semantics, Denotactional Semantics, Type Checking and (polymorphic) Type Systems, Activation Records, Translation to Intermediate Code, Basic Blocks and Traces, Instruction Selection, Liveness analysis, Register allocation, Garbage collection, Object-oriented languages, Functional Programming Languages, Loop Optimizations, Code Optimizations, Static Single-Assignment Form, Dataflow Analysis, Control Flow Analysis, Pointer Analysis and Other Static Program Analysis. Monotone Framework, Unification Framework, Cubic Framework.

5.2  Práticas Laboratoriais/ Trabalhos Dirigidos


Previous Up Next