Java']Java bytecode verification

被引：5
|
作者：
Nipkow, T
机构：
来源：
JOURNAL OF AUTOMATED REASONING | 2003年 / 30卷 / 3-4期
关键词：
D O I：
10.1023/A:1025086804452
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：233 / 233
页数：1
相关论文
共 50 条
  • [1] Java']Java bytecode verification: An overview
    Leroy, X
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
  • [2] Integrated Java']Java Bytecode Verification
    Gal, Andreas
    Probst, Christian W.
    Franz, Michael
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 27 - 38
  • [3] Verified Java']Java Bytecode Verification
    Klein, Gerwin
    [J]. IT-INFORMATION TECHNOLOGY, 2005, 47 (02): : 107 - 110
  • [4] Java Bytecode Verification
    Tobias Nipkow
    [J]. Journal of Automated Reasoning, 2003, 30 : 233 - 233
  • [5] Java']Java bytecode verification: Algorithms and formalizations
    Leroy, X
    [J]. JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 235 - 269
  • [6] Java']Java bytecode verification for @NonNull types
    Male, Chris
    Pearce, David J.
    Potanin, Alex
    Dymnikov, Constantine
    [J]. COMPILER CONSTRUCTION, 2008, 4959 : 229 - 244
  • [7] Bytecode verification on Java']Java smart cards
    Leroy, X
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 319 - 340
  • [8] Improving the official specification of Java']Java bytecode verification
    Coglio, A
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (02): : 155 - 179
  • [9] Java']Java bytecode verification for secure information flow
    Avvenuti, M
    Bernardeschi, C
    De Francesco, N
    [J]. ACM SIGPLAN NOTICES, 2003, 38 (12) : 20 - 27
  • [10] Standard fixpoint iteration for Java']Java bytecode verification
    Qian, ZY
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2000, 22 (04): : 638 - 672
12345