Ando Saabas
AuthID: R-006-N5C
1
TITLE: Bidirectional data-flow analyses, type-systematically
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
2
TITLE: Foundational certification of data-flow analyses
AUTHORS: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLISHED: 2007, SOURCE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
AUTHORS: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLISHED: 2007, SOURCE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
3
TITLE: Proof Obligations Preserving Compilation
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
AUTHORS: Gilles Barthe; Tamara Rezk; Ando Saabas;
PUBLISHED: 2005, SOURCE: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers, VOLUME: 3866
INDEXED IN: 
DBLP
DBLP