Simple verification technique for complex Java bytecode subroutines

被引：0
|
作者：
Kestrel Institute, 3260 Hillview Avenue, Palo Alto, CA 94304, United States [1 ]
机构：
来源：
| 1600年 / 647-670卷 / June 2004期
关键词：
Theoretical; (THR);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Simple verification technique for complex Java']Java bytecode subroutines
    Coglio, A
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2004, 16 (07): : 647 - 670
  • [2] A type system for Java']Java bytecode subroutines
    Stata, R
    Abadi, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (01): : 90 - 137
  • [3] A Type System for Java Bytecode Subroutines
    Systems Research Center, Digital Equipment Corporation, 130 Lytton Avenue, Palo Alto, CA 94301
    ACM Trans Program Lang Syst, 1 (90-137):
  • [4] Java']Java bytecode verification
    Nipkow, T
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (3-4) : 233 - 233
  • [5] Java Bytecode Verification
    Tobias Nipkow
    Journal of Automated Reasoning, 2003, 30 : 233 - 233
  • [6] Java']Java bytecode verification: An overview
    Leroy, X
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 265 - 285
  • [7] Integrated Java']Java Bytecode Verification
    Gal, Andreas
    Probst, Christian W.
    Franz, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 27 - 38
  • [8] Verified Java']Java Bytecode Verification
    Klein, Gerwin
    IT-INFORMATION TECHNOLOGY, 2005, 47 (02): : 107 - 110
  • [9] Java bytecode specification and verification
    Burdy, Lilian
    Pavlova, Mariela
    Proc ACM Symp Appl Computing, 1600, (1835-1839):
  • [10] Java']Java bytecode verification for @NonNull types
    Male, Chris
    Pearce, David J.
    Potanin, Alex
    Dymnikov, Constantine
    COMPILER CONSTRUCTION, 2008, 4959 : 229 - 244
12345