메뉴 건너뛰기




Volumn 15, Issue 2, 2003, Pages 155-179

Improving the official specification of Java bytecode verification

Author keywords

Bytecode verification; Java; Specification

Indexed keywords

ALGORITHMS; DATA FLOW ANALYSIS; PROGRAM COMPILERS; SECURITY OF DATA; SUBROUTINES;

EID: 0037307180     PISSN: 15320626     EISSN: None     Source Type: Journal    
DOI: 10.1002/cpe.714     Document Type: Article
Times cited : (5)

References (50)
  • 8
    • 0003704129 scopus 로고    scopus 로고
    • Java is not type-safe
    • Technical Report, AT&T Research
    • Saraswat V. Java is not type-safe. Technical Report, AT&T Research, 1997. http://www.research.att.com/vj/bug.html.
    • (1997)
    • Saraswat, V.1
  • 11
    • 0035506226 scopus 로고    scopus 로고
    • Type safety in the JVM: Some problems in Java 2 SDK 1.2 and proposed solutions
    • Coglio A, Goldberg A. Type safety in the JVM: Some problems in Java 2 SDK 1.2 and proposed solutions. Concurrency and Computation: Practice and Experience 2001: 13(13):1153-1171.
    • (2001) Concurrency and Computation: Practice and Experience , vol.13 , Issue.13 , pp. 1153-1171
    • Coglio, A.1    Goldberg, A.2
  • 14
    • 0001076184 scopus 로고    scopus 로고
    • A formal specification of Java™ virtual machine instructions for objects, methods and subroutines
    • Alves-Foss J (ed.), Springer: Berlin
    • Qian Z. A formal specification of Java™ Virtual Machine instructions for objects, methods and subroutines. Formal Syntax and Semantics of Java™ (Lecture Notes in Computer Science, vol. 1523), Alves-Foss J (ed.). Springer: Berlin, 1999; 271-312.
    • (1999) Formal Syntax and Semantics of Java™ (Lecture Notes in Computer Science) , vol.1523 , pp. 271-312
    • Qian, Z.1
  • 15
    • 0012889002 scopus 로고    scopus 로고
    • Treatment of protected members in Java bytecode verification
    • Technical Report, Kestrel Institute
    • Coglio A. Treatment of protected members in Java bytecode verification. Technical Report, Kestrel Institute, http://www.kestrel.edu/java.
    • Coglio, A.1
  • 16
    • 0012852682 scopus 로고    scopus 로고
    • Private communication, June
    • Bracha G. Private communication, June 2001.
    • (2001)
    • Bracha, G.1
  • 17
    • 0012795047 scopus 로고    scopus 로고
    • Java bytecode verification: Another complete formalization
    • Technical Report, Kestrel Institute
    • Coglio A. Java bytecode verification: Another complete formalization. Technical Report, Kestrel Institute. http://www.kestrel.edu/java.
    • Coglio, A.1
  • 20
    • 2542430865 scopus 로고    scopus 로고
    • Java bytecode subroutines demystified
    • Technical Report, Kestrel Institute
    • Coglio A. Java bytecode subroutines demystified. Technical Report, Kestrel Institute. http://www.kestrel.edu/java.
    • Coglio, A.1
  • 22
    • 0003444440 scopus 로고    scopus 로고
    • A type system for Java bytecode subroutines and exceptions
    • Technical Note STAN-CS-TN-99-91, Computer Science Department, Stanford University, August
    • Freund S, Mitchell J. A type system for Java bytecode subroutines and exceptions. Technical Note STAN-CS-TN-99-91, Computer Science Department, Stanford University, August 1999.
    • (1999)
    • Freund, S.1    Mitchell, J.2
  • 24
    • 0012854980 scopus 로고    scopus 로고
    • The problem of bytecode verification in current implementations of the JVM
    • Technical Report, Department of Computer Science, ETH Zürich
    • Stärk R, Schmid J. The problem of bytecode verification in current implementations of the JVM. Technical Report, Department of Computer Science, ETH Zürich, 2000.
    • (2000)
    • Stärk, R.1    Schmid, J.2
  • 25
    • 0012793312 scopus 로고    scopus 로고
    • The Kimera project Web site
    • The Kimera project Web site. http://kimera.cs.washington.edu
  • 26
    • 0012795047 scopus 로고    scopus 로고
    • Java bytecode verification: A complete formalization
    • Technical Report, Kestrel Institute
    • Coglio A. Java bytecode verification: A complete formalization. Technical Report, Kestrel Institute. http://www.kestrel.edu/java.
    • Coglio, A.1
  • 30
    • 0000707669 scopus 로고    scopus 로고
    • Proof linking: Modular verification of mobile programs in the presence of lazy, dynamic linking
    • Fong P, Cameron R. Proof linking: Modular verification of mobile programs in the presence of lazy, dynamic linking. ACM Transactions on Software Engineering and Methodology 2000; 9(4):379-409.
    • (2000) ACM Transactions on Software Engineering and Methodology , vol.9 , Issue.4 , pp. 379-409
    • Fong, P.1    Cameron, R.2
  • 39
    • 0001362437 scopus 로고    scopus 로고
    • Standard fixpoint iteration for Java bytecode verification
    • Qian Z. Standard fixpoint iteration for Java bytecode verification. ACM Transactions on Programming Languages and Systems 2000; 22(4):638-672.
    • (2000) ACM Transactions on Programming Languages and Systems , vol.22 , Issue.4 , pp. 638-672
    • Qian, Z.1
  • 49
    • 0012799540 scopus 로고    scopus 로고
    • Kestrel Institute and Kestrel Technology LLC. Specware™
    • Kestrel Institute and Kestrel Technology LLC. Specware™. http://www.specware.org.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.