Fast subtype checking in the HotSpot JVM

Proceedings of the Joint ACM Java Grande - ISCOPE Conference

Volumn , Issue , 2002, Pages 96-103

  Click, Cliff ^a   Rose, John ^a  

^a SUN MICROSYSTEMS   (United States)

Author keywords

Checkcast; Instanceof; Java; Subtype; Typecase

Indexed keywords

ARRAYS; DATA STRUCTURES; INTERFACES (COMPUTER); PASCAL (PROGRAMMING LANGUAGE);

JAVA ARRAY; MULTIDIMENSIONAL ARRAYS;

JAVA PROGRAMMING LANGUAGE;

EID: 0242443907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/583810.583821     Document Type: Conference Paper

References (12)

1. B. Alpern, A. Cocchi, and D. Grove. Dynamic Type Checking in Jalapeño. In the 2001 USENIX Java™ Virtual Machine Symposium.
2. D. F. Bacon and P. F. Sweeney. Fast static analysis of C++ virtual function calls. In Conference on Object Oriented Programming Systems, Languages & Applications (OOPSLA'96).
3. N. H. Cohen. Type-extension tests can be performed in constant time. ACM Transactions on Programming Languages and Systems, 13(4):626-629, 1991.
4. E.W. Dijkstra. Recursive Programming. Numer. Programming, (2):312-318, 1960.
5. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.
6. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification, Second Edition. Addison Wesley, 1998.
7. M. Paleczny, C. Click, C. Vick, The Java HotSpot™ Server Compiler. In the 2001 USENIX Java™ Virtual Machine Symposium.
8. B.H.C. Pfister and J. Templ. Oberon technical notes. Research Report 156, Eidgenossische Techniscle Hochschule Zurich- Department Informatik, March 1991.
9. The Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98, 1998.
10. The Standard Performance Evaluation Corporation. SPEC JBB2000 Benchmarks. http://www.spec.org/osg/jbb2000, 2000.
11. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Vallée-Rai, and P. Lam, E. Gagnon, and C. Godin. Practical virtual method call resolution for Java. In Conference on Object Oriented Programming, Systems, Languages & Applications (OOPSLA'2000).
12. J. Vitek, A. Krall, and R. N. Horspool. Efficient Type Inclusion Tests. In Conference on Object Oriented Programming Systems, Languages & Applications (OOPSLA'97).