O objetivo desta aula é apresentar o conceito de análises de fluxo de dados backward-flow, usando liveness como estudo de caso.
- 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
xem um statementS? - Como computar liveness?
- Como representar análises com equações?