J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)

Jens Knoop; Wolf Zimmermann

doi:10.3217/jucs-009-03

JUCS - Journal of Universal Computer Science 9(3): 189-190, doi: 10.3217/jucs-009-03

J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)

Jens Knoop^‡, Wolf Zimmermann^§

‡ Vienna University of Technology, Vienna, Austria§ Martin-Luther University Halle-Wittenberg, Germany

Corresponding author: Jens Knoop ( knoop@complang.tuwien.ac.at )

This article is freely available under the J.UCS Open Content License.

Citation: Knoop J, Zimmermann W (2003) J.UCS Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002). JUCS - Journal of Universal Computer Science 9(3): 189-190. https://doi.org/10.3217/jucs-009-03