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 条
  • [1] Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006) Preface
    Knoop, Jens
    Necula, George C.
    Zimmermann, Wolf
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (03) : 1 - 2
  • [2] J.UCS special issue - Hypermedia - State of the art 2002
    Tochtermann, K
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (10): : 869 - 870
  • [3] Internet of Things J.UCS Special Issue
    Zhang, Daqiang
    Ning, Huansheng
    Xu, Kevin S.
    Lin, Feiyu
    Yang, Laurence T.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2012, 18 (09) : 1069 - 1071
  • [4] Evolvable hardware - J.UCS special issue
    Nedjah, Nadia
    Mourelle, Luiza de Macedo
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2006, 12 (04) : 367 - 369
  • [5] Trusted Computing J.UCS Special Issue
    Lipp, Peter
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 16 (04) : 506 - 506
  • [6] Data streams - J.UCS special issue
    Aguilar-Ruiz, JS
    Gama, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (08) : 1349 - 1352
  • [7] Research on Heuristic Optimization and Operations in IoT J.UCS Special Issue
    Slezak, Dominik
    Kovac, Dobroslav
    Iacono, Mauro
    Czerniak, Jacek M.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2020, 26 (11) : 1364 - 1365
  • [8] Ontologies and their applications - J.UCS special issue
    Freitas, Fred
    Stuckenschmidt, Heiner
    Malucelli, Andreia
    Pinto, H. Sofia
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (12) : 1801 - 1804
  • [9] Communicative intelligence - J.UCS special issue
    Nguyen, Ngoc Thanh
    Nishida, T.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (02) : 133 - 134
  • [10] Cloud Computing J.UCS Special Issue
    Taniar, David
    Khalil, Ismail
    Pardede, Eric
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2011, 17 (08) : 1134 - 1134
12345