In this issue

Papers published: 5

Total pages: 110

Printed version: Paperback

Unique views: 1769

Total views: 2094

open access

Go to issue

« Previous
Issue 9(3)
 Next »
Issue No
from 0 to 30
Number No
JUCS - Journal of Universal Computer Science 9(3) (2003)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)
Jens Knoop, Wolf Zimmermann
10.3217/jucs-009-03
 28-03-2003
 Unique: 304 | Total: 354  | Access Period:
 189-190
HTML
XML
PDF
Research Article
Using Program Checking to Ensure the Correctness of Compiler Implementations
Sabine Glesner
10.3217/jucs-009-03-0191
 28-03-2003
 Unique: 377 | Total: 448  | Access Period:
 191-222
HTML
XML
PDF
Research Article
VOC: A Methodology for the Translation Validation of OptimizingCompilers
Lenore Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg
10.3217/jucs-009-03-0223
 28-03-2003
 Unique: 429 | Total: 522  | Access Period:
 223-247
HTML
XML
PDF
Research Article
An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs
K. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens
10.3217/jucs-009-03-0248
 28-03-2003
 Unique: 306 | Total: 353  | Access Period:
 248-269
HTML
XML
PDF
Research Article
Alias Verification for Fortran Code Optimization
Thi Viet Nga Nguyen, Francois Irigoin
10.3217/jucs-009-03-0270
 28-03-2003
 Unique: 353 | Total: 417  | Access Period:
 270-297
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK