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

被引：0
|
作者：
Knoop, J [1 ]
Zimmermann, W
机构：
[1] Vienna Univ Technol, Vienna, Austria
[2] Univ Halle Wittenberg, D-4010 Halle Saale, Germany
来源：
JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2003年 / 9卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：189 / 190
页数：2
相关论文
共 50 条
12345