publicações selecionadas artigo académico Foundational certification of data-flow analyses. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. 2007