The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 132, number: 1

  1. Jens Knoop, George C. Necula, Wolf Zimmermann
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:1-3 [Journal]
  2. Sorin Lerner, Todd D. Millstein, Craig Chambers
    Cobalt: A Language for Writing Provably-Sound Compiler Optimizations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:5-17 [Journal]
  3. Sabine Glesner, Simone Forster, Matthias Jäger
    A Program Result Checker for the Lexical Analysis of the GNU C Compiler. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:19-35 [Journal]
  4. Arnd Poetzsch-Heffter, Marek Gawkowski
    Towards Proof Generating Compilers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:37-51 [Journal]
  5. Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett
    Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:53-71 [Journal]
  6. Sabine Glesner
    A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:73-93 [Journal]
  7. Karsten Klohs, Uwe Kastens
    Memory Requirements of Java Bytecode Verification on Limited Devices. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:95-111 [Journal]
  8. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    An Abstract Interpretation-based Approach to Mobile Code Safety. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:113-129 [Journal]
  9. Sid Ahmed Ali Touati
    On the Optimality of Register Saturation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:131-148 [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