Issue 3

Submission Procedure

Submission Procedure

Board of Editors

Articles by Topics

Articles by Author

Geographical Mashup

Printed Publications

Volume 17 (2011)

Volume 16 (2010)

Volume 15 (2009)

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)

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