Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 190, number: 1

1. Marieke Huisman, Fausto Spoto
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:1- [Journal]
   
2. Jesse McGeachie, Jürgen Dingel
   Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:3-18 [Journal]
   
3. Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
   Bytecode Rewriting in Tom. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:19-33 [Journal]
   
4. Hermann Lehner, Peter Müller
   Formal Translation of Bytecode into BoogiePL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:35-50 [Journal]
   
5. Mario Méndez, Jorge Navas, Manuel V. Hermenegildo
   An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:51-66 [Journal]
   
6. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
   Experiments in Cost Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:67-83 [Journal]
   
7. Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
   Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:85-101 [Journal]
   
8. Ando Saabas, Tarmo Uustalu
   Type Systems for Optimizing Stack-based Code. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:103-119 [Journal]
   
9. Quan Hoang Nguyen, Bernhard Scholz
   Computing SSA Form with Matrices. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:121-132 [Journal]
   
10. Jaroslav Sevcík
    Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:133-147 [Journal]
    
11. Theo C. Ruys, Niels H. M. Aan de Brugh
    MMC: the Mono Model Checker. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:149-160 [Journal]