-
2
-
-
0003518498
-
-
Addison-Wesley: Cambridge, MA
-
Gosling J, Joy B, Steele G, Bracha G. The Java™ Language Specification (2nd edn). Addison-Wesley: Cambridge, MA, 2000.
-
(2000)
The Java™ Language Specification (2nd Edn)
-
-
Gosling, J.1
Joy, B.2
Steele, G.3
Bracha, G.4
-
8
-
-
0003704129
-
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
-
9
-
-
0002439166
-
Dynamic class loading in the Java™ virtual machine
-
Liang S, Bracha G. Dynamic class loading in the Java™ virtual machine. Proceedings of the 13th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'98) ACM SIGPLAN Notices 1998; 33:36-44.
-
Proceedings of the 13th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'98) ACM SIGPLAN Notices 1998
, vol.33
, pp. 36-44
-
-
Liang, S.1
Bracha, G.2
-
10
-
-
17944381748
-
A formal specification of Java class loading
-
ACM Press: New York; (Long Version)
-
Qian Z, Goldberg A, Coglio A. A formal specification of Java class loading. Proceedings of the 15th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'00) (ACM SIGPLAN Notices, vol. 35). ACM Press: New York, 2000; 325-336. http://www.kestrel.edu/java. (Long Version)
-
(2000)
Proceedings of the 15th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'00) (ACM SIGPLAN Notices)
, vol.35
, pp. 325-336
-
-
Qian, Z.1
Goldberg, A.2
Coglio, A.3
-
11
-
-
0035506226
-
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
-
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
-
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
-
-
Private communication, June
-
Bracha G. Private communication, June 2001.
-
(2001)
-
-
Bracha, G.1
-
17
-
-
0012795047
-
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
-
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
-
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
-
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
-
-
The Kimera project Web site
-
The Kimera project Web site. http://kimera.cs.washington.edu
-
-
-
-
26
-
-
0012795047
-
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
-
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
-
31
-
-
0033203874
-
A formal framework for the Java bytecode language and verifier
-
Freund S, Mitchell J. A formal framework for the Java bytecode language and verifier. Proceedings of the 14th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99) ACM SIGPLAN Notices 1999; 34:147-166.
-
Proceedings of the 14th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99) ACM SIGPLAN Notices 1999
, vol.34
, pp. 147-166
-
-
Freund, S.1
Mitchell, J.2
-
39
-
-
0001362437
-
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
-
-
Kestrel Institute and Kestrel Technology LLC. Specware™
-
Kestrel Institute and Kestrel Technology LLC. Specware™. http://www.specware.org.
-
-
-
|