Search the dblp DataBase

Publications of Author

1. Gilles Barthe, Tamara Rezk, Ando Saabas
   Proof Obligations Preserving Compilation. [Citation Graph (0, 0)][DBLP]
   Formal Aspects in Security and Trust, 2005, pp:112-126 [Conf]
   
2. Pavel Grigorenko, Ando Saabas, Enn Tyugu
   Visual tool for generative programming. [Citation Graph (0, 0)][DBLP]
   ESEC/SIGSOFT FSE, 2005, pp:249-252 [Conf]
   
3. Pavel Grigorenko, Ando Saabas, Enn Tyugu
   COCOVILA - Compiler-Compiler for Visual Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:4, pp:137-142 [Journal]
   
4. Ando Saabas, Tarmo Uustalu
   A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:156, n:1, pp:151-168 [Journal]
   
5. Ando Saabas, Tarmo Uustalu
   A compositional natural semantics and Hoare logic for low-level languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:373, n:3, pp:273-302 [Journal]
   
6. Maria João Frade, Ando Saabas, Tarmo Uustalu
   Foundational certification of data-flow analyses. [Citation Graph (0, 0)][DBLP]
   TASE, 2007, pp:107-116 [Conf]
   
7. Ando Saabas, Tarmo Uustalu
   Type Systems for Optimizing Stack-based Code. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:103-119 [Journal]
   
8. 
   Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). [Citation Graph (, )][DBLP]
   
   
9. 
   Compositional Type Systems for Stack-Based Low-Level Languages. [Citation Graph (, )][DBLP]
   
   
10. 
    On Bounded Reachability of Programs with Set Comprehensions. [Citation Graph (, )][DBLP]
    
    
11. 
    Proof optimization for partial redundancy elimination. [Citation Graph (, )][DBLP]
    
    
12. 
    Bidirectional data-flow analyses, type-systematically. [Citation Graph (, )][DBLP]
    
    
13. 
    Program Repair as Sound Optimization of Broken Programs. [Citation Graph (, )][DBLP]