In this issue

Papers published: 5

Total pages: 110

Unique views: 2748

Total views: 3314

open access

Go to issue

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

Download
J.UCS ...
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: 480 | Total: 570  | Access Period:
 189-190
HTML
XML
PDF
Using ...
Research Article
Using Program Checking to Ensure the Correctness of Compiler Implementations
Sabine Glesner
10.3217/jucs-009-03-0191
 28-03-2003
 Unique: 536 | Total: 646  | Access Period:
 191-222
HTML
XML
PDF
VOC: ...
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: 658 | Total: 820  | Access Period:
 223-247
HTML
XML
PDF
An ...
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: 508 | Total: 590  | Access Period:
 248-269
HTML
XML
PDF
Alias ...
Research Article
Alias Verification for Fortran Code Optimization
Thi Viet Nga Nguyen, Francois Irigoin
10.3217/jucs-009-03-0270
 28-03-2003
 Unique: 566 | Total: 688  | Access Period:
 270-297
HTML
XML
PDF

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

OK