Issue 3

Submission Procedure

User: anonymous

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Articles by Topics

Articles by Author

Board of Editors

Geographical Mashup

Submission Procedure

Printed Publications

Collection of other papers

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