In this issue

Papers published: 5

Total pages: 109

Unique views: 4186

Total views: 5131

open access

Go to issue

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

Download
J.UCS Special Issue on Compiler Optimization ...
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: 733 | Total: 885
 189-190
HTML
XML
PDF
Using Program Checking to Ensure the ...
Research Article
Using Program Checking to Ensure the Correctness of Compiler Implementations
Sabine Glesner
10.3217/jucs-009-03-0191
 28-03-2003
 Unique: 822 | Total: 1007
 191-222
HTML
XML
PDF
VOC: A Methodology for the Translation ...
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: 1005 | Total: 1257
 223-247
HTML
XML
PDF
An Automatic Verification Technique for ...
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: 732 | Total: 876
 248-269
HTML
XML
PDF
Alias Verification for Fortran Code Optimization
Research Article
Alias Verification for Fortran Code Optimization
Thi Viet Nga Nguyen, Francois Irigoin
10.3217/jucs-009-03-0270
 28-03-2003
 Unique: 894 | Total: 1106
 270-297
HTML
XML
PDF

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

OK