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 条
  • [31] A Plagiarism Detection Technique for Java']Java Program Using Bytecode Analysis
    Ji, Jeong-Hoon
    Woo, Gyun
    Cho, Hwan-Gue
    THIRD 2008 INTERNATIONAL CONFERENCE ON CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, VOL 1, PROCEEDINGS, 2008, : 1092 - 1098
  • [32] Using abstract interpretation to add type checking for interfaces in Java']Java bytecode verification
    De Francesco, Nicoletta
    Lettieri, Giuseppe
    Martini, Luca
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (22-24) : 2174 - 2201
  • [33] Java']Java bytecode optimizations
    Lambright, HD
    IEEE COMPCON 97, PROCEEDINGS, 1997, : 206 - 210
  • [34] A redundancy-based attack detection technique for Java']Java Card Bytecode
    Giunta, Rosario
    Pappalardo, Giuseppe
    Tramontana, Emiliano
    2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, : 384 - 389
  • [35] A Java']Java Bytecode Formalisation
    Czarnik, Patryk
    Chrzaszcz, Jacek
    Schubert, Aleksy
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 135 - 154
  • [36] Target code generation using the code expansion technique for Java']Java Bytecode
    Ko, KM
    Kim, SG
    PARALLEL AND DISTRIBUTED COMPUTING: APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2004, 3320 : 752 - 755
  • [37] On object initialization in the Java']Java bytecode
    Doyon, S
    Debbabi, M
    COMPUTER COMMUNICATIONS, 2000, 23 (17) : 1594 - 1605
  • [38] Dynamic semantics of Java']Java bytecode
    Bertelsen, P
    FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : 841 - 850
  • [39] Modeling the Java']Java Bytecode Verifier
    Reynolds, Mark C.
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) : 327 - 342
  • [40] Termination analysis of Java']Java Bytecode
    Albert, Elvira
    Arenas, Puri
    Codish, Michael
    Genaim, Samir
    Puebla, German
    Zanardini, Damiano
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 2 - +
12345