Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 131, number:

1. Agostino Cortesi, Francesco Logozzo
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:1-2 [Journal]
   
2. Cyrille Artho, Armin Biere
   Combined Static and Dynamic Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:3-14 [Journal]
   
3. Coen De Roover, Kris Gybels, Theo D'Hondt
   Towards Abstract Interpretation for Recovering Design Information. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:15-25 [Journal]
   
4. Andreas Gal, Christian W. Probst, Michael Franz
   Integrated Java Bytecode Verification. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:27-38 [Journal]
   
5. Ali Habibi, Sofiène Tahar
   On the Transformation of SystemC to AsmL Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:39-49 [Journal]
   
6. Viktor Kuncak, Martin C. Rinard
   Decision Procedures for Set-Valued Fields. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:51-62 [Journal]
   
7. Bor-Yuh Evan Chang, K. Rustan M. Leino
   Inferring Object Invariants: Extended Abstract. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:63-74 [Journal]
   
8. Francesco Logozzo, Agostino Cortesi
   Abstract Interpretation and Object-oriented Programming: Quo Vadis? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:75-84 [Journal]
   
9. Isabelle Pollet, Baudouin Le Charlier
   Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:85-98 [Journal]
   
10. Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky
    Fast Escape Analysis for Region-based Memory Management. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:99-110 [Journal]
    
11. Christian Skalka, Scott F. Smith, David Van Horn
    A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:111-124 [Journal]
    
12. Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv
    Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:125-138 [Journal]