Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 65, number: 2

1. Carl Christian Frederiksen
   Correctness of Classical Compiler Optimizations using CTL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
2. Sabine Glesner, Rubino Geiß, Boris Boesler
   Verified Code Generation for Embedded Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
3. Wolfgang Goerigk
   Towards Acceptability of Optimizations: An Extended View of Compiler Correctness. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
4. Gerhard Goos
   Compiler Verification and Compiler Architecture. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
5. Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
   Debugging and Testing Optimizers through Comparison Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
6. Jens Knoop, Wolf Zimmermann
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
7. Thi Viet Nga Nguyen, François Irigoin
   Alias verification for Fortran code optimization. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
8. K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
   Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]
   
9. Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
   VOC: A Translation Validator for Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:2, pp:- [Journal]