Journals in DBLP
Agostino Cortesi , Francesco Logozzo Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:1-2 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]