The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002