Sealed calls in Java packages

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 10, 2000, Pages 83-92

  Zaks, Ayal ^a   Feldman, Vitaly ^a   Aizikowitz, Nava ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

D.1.5 Programming Techniques : Object oriented Programming; D.3.2 Programming Languages : Language Classifications Java, Object oriented Programming; D.3.4 Programming Languages : Processors Compilers, optimization, Run time environments

Indexed keywords

EID: 17944371990     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/354222.353177     Document Type: Article

References (39)

1. O. Agesen and U. Hölzle. Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages. In Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 91-107, Oct 1995.
2. G. Aigner and U. Hölzle. Eliminating virtual function calls in c++ programs. In Proceedings of the 10th European Conference on Object-Oriented Programming (ECOOP), pages 142-166, July 1996.
3. A. Azevedo, A. Nicolau, and J. Hummel. Java annotation-aware just-in-time (ajit) compilation system. In Proceedings of the ACM 1999 Conference on Java Grande, pages 142-151, June 1999.
4. D. F. Bacon and P. F. Sweeney. Fast static analysis of c++ virtual function calls. In Proceedings of the 11th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 324-341, Oct 1996.
5. S. J. Baylor, M. Devarakonda, S. Fink, E. Gluzberg, M. Kalantar, P. Muttineni, E. Barsness, S. Munroe, R. Arora, , and R. Dimpsey. Java server benchmarks. IBM Systems Journal, 39(1):21-56, 2000.
6. B. Blanchet. Escape analysis for object oriented languages, application to java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 20-34, Nov 1999.
7. Z. Budimlić and K. Kennedy. Prospects for scientific computing in polymorphic, object-oriented style. In Proceedings of the 9th SIAM Conference on Parallel Processing for Scientific Computing, March 1999.
8. M. G. Burke, J. Choi, S. Fink, D. Grove, M. Hind, V. Sarkar, M. J. Serrano, V. C. Sreedhar, H. Srinivasan, and J. Whaley. The jalapeño dynamic optimizing compiler for java. In Proceedings of the ACM 1999 Conference on Java Grande, pages 129-141, June 1999.
9. B. Calder and D. Grunwald. Reducing indirect function call overhead in c++ programs. In Conference Record of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 397-408, Jan 1994.
10. J. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 1-19, Nov 1999.
11. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In W. Olthoff, editor, Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP), pages 77-101. Springer-Verlag, Aug 1995.
12. G. DeFouw, D. Grove, and C. Chambers. Fast interprocedural class analysis. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 222-236, Jan 1998.
13. D. Detlefs and O. Agesen. Inlining of virtual methods. In R. Guerraoui, editor, Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP), pages 258-278. Springer-Verlag, June 1999.
14. J. Dolby. Automatic inline allocation of objects. In Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 7-16, May 1997.
15. K. Driesen and U. Hölzle. The direct cost of virtual function calls in c++. In Proceedings of the 11th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 306-323, Oct 1996.
16. N. Feinberg, S. E. Keene, R. O. Mathews, and P. T. Withington. The Dylan Programming Book. Addison-Wesley, 1997.
17. E. Gagnon and L. Hendren. Intra-procedural inference of static types for java bytecode. Technical Report 1999-1, Sable Research Group, McGill University, March 1999.
18. J. Gil and A. Itai. The complexity of type analysis of object oriented programs. In Proceedings of the 12th European Conference on Object-Oriented Programming (ECOOP), pages 601-634, July 1998.
19. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
20. D. Grove, G. DeFouw, J. Dean, and C. Chambers. Call graph construction in object-oriented languages. In Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 108-124, Oct 1997.
21. D. P. Grove. Effective Interprocedural Optimization of Object-Oriented Languages. PhD thesis, University of Washington, 1998.
22. U. Hölzle, C. Chambers, and D. Ungar. Debugging optimized code with dynamic deoptimization. In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation (PLDI), pages 32-43, June 1992.
23. The java hotspot performance engine architecture. Available at http://-www.javasoft.com/products/hotspot/whitepaper.html, April 1999.
24. K. Ishizaki, M. Kawahito, T. Yasue, M. Takeuchi, T. Ogasawara, T. Suganuma, T. Onodera, H. Komatsu, and T. Nakatani. Design, implementation, and evaluation of optimizations in a just-in-time compiler. In Proceedings of the ACM 1999 Conference on Java Grande, pages 119-128, June 1999.
25. Jigsaw - the w3c's web server. Available at http://www.w3c.org/Jigsaw.
26. Jove super optimizing deployment environment for Java. Available at http://www.instantiations.com/jove/jovereport.htm.
27. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.
28. P. D. O'brien, D. C. Halbert, and M. F. Kilian. The trellis programming environment. In Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 91-102, Oct 1987.
29. H. D. Pande and B. G. Ryder. Static type determination for c++. In Proceedings of the Sixth Usenix C++ Technical Conference, pages 85-97, April 1994.
30. S. Porat, D. Bernstein, Y. Fedorov, J. Rodrigue, and E. Yahav. Compiler optimization of c++ virtual function calls. In Proceedings of the Second Conference on Object-Oriented Technologies and Systems (COOTS), pages 3-14, Jun 1996.
31. S. Porat, B. Mendelson, and I. Shapira. Sharpening global static analysis to cope with Java. In Proceedings of GASCON '98 Conference, pages 303-316, Nov 1998.
32. Spec jvm98 benchmarks. Available at http://www.spec.org/osg/jvm98, August 1998.
33. V. C. Sreedhar, M. Burke, and J. Choi. A framework for interprocedural optimization in the presence of dynamic class loading. In Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), pages 196-207, June 2000.
34. Sun Microsystems. Java 2 Software Development Kit version 1.2.2, July 1999. Available at http://java.sun.com/products/jdk/1.2/, See there docs/guide/extensions/spec.html#sealing.
35. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Valle-Rai, P. Lam, E. Gagnon, and C. Godin. Practical virtual method call resolution for java. Technical Report 1999-4, Sable Research Group, McGill University, Nov 1999.
36. F. Tip, C. Laffra, P. F. Sweeney, and D. Streeter. Practical experience with an application extractor for java. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 292-305, Nov 1999.
37. Towerj3 - a new generation native java compiler and runtime environment. Available at http://www.towerj.com/products/-whitepapergnj.shtml and also whitepapers3.shtml.
38. R. Vallée-Rai, P. Co, E. Gagnon, L. Hendren, P. Lam, and V. Sundaresan. Soot - a java bytecode optimization framework. In Proceedings of CASCON '99 Conference, Nov 1999.
39. J. Whaley and M. Rinard. Compositional pointer and escape analysis for java programs. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 187-206, Nov 1999.