Maria João Frade, Ando Saabas, Tarmo Uustalu. Foundational certification of data-flow analyses. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China. pages 107-116, IEEE Computer Society, 2007. [doi]
@inproceedings{FradeSU07,
title = {Foundational certification of data-flow analyses},
author = {Maria João Frade and Ando Saabas and Tarmo Uustalu},
year = {2007},
doi = {10.1109/TASE.2007.27},
url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.27},
tags = {data-flow, certification},
researchr = {https://researchr.org/publication/FradeSU07},
cites = {0},
citedby = {0},
pages = {107-116},
booktitle = {First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China},
publisher = {IEEE Computer Society},
}