The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 176, number: 3

  1. Jens Knoop, George C. Necula, Wolf Zimmermann
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:1-2 [Journal]
  2. Lennart Beringer
    Functional Elimination of Phi-instructions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:3-20 [Journal]
  3. Yi Fang, Lenore D. Zuck
    Improved Invariant Generation for Tvoc. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:21-35 [Journal]
  4. David Aspinall, Lennart Beringer, Alberto Momigliano
    Optimisation Validation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:37-59 [Journal]
  5. Sabine Glesner, Johannes Leitner, Jan Olaf Blech
    Coinductive Verification of Program Optimizations Using Similarity Relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:61-77 [Journal]
  6. Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
    Structuring Optimizing Transformations and Proving Them Sound. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:79-95 [Journal]
  7. Wolfram Amme, Marc-André Möller, Philipp Adler
    Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:97-108 [Journal]
  8. Eric Van Wyk, Lijesh Krishnan
    Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:109-122 [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