Orientador: Tomasz Kowaltowski

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação

Resumo: São analisados neste trabalho. três métodos para a solução dos problemas de análise global de fluxo de dados, quando as equações têm como coeficientes subconjuntos de um universo finito (vetores de bits): método iterativo de Hecht e Ullman, método dos intervalos de Cocke e Allen, e o método...

Resumo: São analisados neste trabalho. três métodos para a solução dos problemas de análise global de fluxo de dados, quando as equações têm como coeficientes subconjuntos de um universo finito (vetores de bits): método iterativo de Hecht e Ullman, método dos intervalos de Cocke e Allen, e o método das regiões fortemente conexas de Graham e Wegman. A comparação dos métodos é realizada através de uma microanálise das suas implementações, aplicada a algumas famílias de grafos de fluxo que têm forma padronizada. Os resultados indicam que, neste caso, o método das regiões é mais eficiente em termos de operações com vetores de bits, enquanto que o método iterativo é mais eficiente em termos de operações de controle e manipulação de estruturas de dados auxiliares.

Abstract: Not informed.