Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 9

Content of Issue 3
DOI: 10.3217/jucs-009-03
J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002) J. Knoop, W. Zimmermann 189
Using Program Checking to Ensure the Correctness of Compiler Implementations S. Glesner 191
VOC: A Methodology for the Translation Validation of OptimizingCompilers L. Zuck, A. Pnueli, Y. Fang, B. Goldberg 223
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs K. C. Shashidhar, M. Bruynooghe, F. Catthoor, G. Janssens 248
Alias Verification for Fortran Code Optimization T.V.N. Nguyen, F. Irigoin 270