Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 82, number: 2

1. Christophe Alias, Denis Barthou
   On the Recognition of Algorithm Templates. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
2. Stefan Berghofer, Martin Strecker
   Extracting a formally verified, fully executable compiler from a proof assistant. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
3. Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski
   A Functional Perspective on SSA Optimisation Algorithms. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
4. Henning Dierks
   Moby/RT: A Tool for Specification and Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
5. Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie
   A Java Card CAP converter in PVS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
6. Sabine Glesner, Jan Olaf Blech
   Classifying and Formally Verifying Integer Constant Folding. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
7. Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz
   Code Annotation for Safe and Efficient Dynamic Object Resolution. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
8. Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr
   The compiler as a validation and evaluation tool. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]
   
9. Ernst-Rüdiger Olderog
   Translation and Optimization in the Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:2, pp:- [Journal]