Dynamic type checking in Jalapeño

Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, JVM 2001

Volumn , Issue , 2001, Pages

  Alpern, Bowen ^a   Cocchi, Anthony ^a   Grove, David ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; ENGINEERING RESEARCH; NETWORK SECURITY; VIRTUAL MACHINE;

COMPILE TIME; DYNAMIC TYPE; EQUALITY TESTS; JAVA OBJECTS; JAVA PROGRAM; JAVA VIRTUAL MACHINES; RUN-TIME TYPES; RUNNING TIME;

JAVA PROGRAMMING LANGUAGE;

EID: 85093845124     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeño virtual machine. IBM Systems Journal, 39(1), 2000.
2. Bowen Alpern, Dick Attanasio, John J. Barton, Anthony Cocchi, Derek Lieber, Stephen Smith, and Ton Ngo. Implementing Jalapeño in Java. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 314{324, 1999.
3. Matthew Arnold, Stephen Fink, David Grove, Michael Hind, and Peter F. Sweeney. Adaptive optimization in the Jalapeño JVM. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, October 2000.
4. Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinivasan, and John Whaley. The Jalapeño dynamic optimizing compiler for Java. In ACM 1999 Java Grande Conference, pages 129{141, June 1999.
5. Craig Chambers and David Ungar. Iterative type analysis and extended message splitting: Optimizating dynamicallytyped object-oriented programs. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 150{164, 1990.
6. Norman H. Cohen. Type-extension type tests can be performed in constant time. ACM Transactions on Programming Languages and Systems, 13(4):626{629, October 1991.
7. The Standard Performance Evaluation Corporation. SPEC JVM98 Benchmarks. http://www.spec.org/osg/jvm98, 1998.
8. Beat Heeb Cuno Pfister and Josef Templ. Oberon technical notes. Research Report 156, Eidgenossische Techniscle Hochschule Zurich- Departement Informatik, March 1991.
9. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison Wesley, 1996.
10. Ralph Johnson. TS: An optimizing compiler for smalltalk. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 18{26, 1988.
11. Andreas Krall, Jan Vitek, and R. Nigel Horspool. Near optimal hierarchical encoding of types. In Proceedings ECOOP '97, Jyvaskyla, Finland, June 1997. Springer-Verlag.
12. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification Second Edition. The Java Series. Addison- Wesley, 1999.
13. Niklaus Wirth. Type extensions. ACM Transactions on Programming Languages and Systems, 10(2):204{214, April 1988.
14. Niklaus Wirth and Jurg Gutknecht. Project Oberon: The Design of an Operating System and Compiler. Addison-Wesley, 1992.