IF688 - Teoria e Implementação de Linguagens Computacionais
Liveness e análises de fluxo de dados backward-flow
Objetivo
O objetivo desta aula é apresentar o conceito de análises de fluxo de dados backward-flow, usando liveness como estudo de caso.
Questões para Discussão
- Como definir se uma variável está viva ou morta?
- Por qual razão é necessário que a análise seja feita de maneira backwards?
- Como seria a definição de liveness para uma variável
x em um statement S?
- Como computar liveness?
- Como representar análises com equações?
Material usado em sala de aula
Vídeos
Links Relacionados