Saabas, A

Pessoa

artigo académico
- Bidirectional data-flow analyses, type-systematically. Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09. 2009
- Foundational certification of data-flow analyses. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. 2007

Publicações