Análise baseada em tipos

Da idéia de fazer gerenciamento de memória e gerenciamento de recursos baseados em tipos, generalizando um pouco, aparece a idéia de análise de programas baseada em tipos. Resumindo, é analisar certas propriedades de programas através dos tipos de dados empregados, possivelmente em conjunto com análise de fluxo de controle e de fluxo de dados. O gerenciamento de memória baseado em regiões é um exemplo de análise baseada em tipos, onde o compilador procura identificar os objetos que têm tempo de vida limitado a algum escopo e os aloca em uma disciplina de pilha.

Agora achei uma página bem interessante para pesquisar sobre o assunto: Type-Based Analysis and Applications.

Vamos ver o que vai sair.