Sealing, encapsulation, and mutability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2072 LNCS, Issue , 2001, Pages 28-52

  Biberstein, Marina ^a   Gil, Joseph ^b   Porat, Sara ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

CODE ANALYSIS; EMPIRICAL APPROACH; SOFTWARE ENGINEERING PRACTICES;

SOFTWARE ENGINEERING;

OBJECT ORIENTED PROGRAMMING;

EID: 84881384224     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (40)

1. th European Conference on Object- Oriented Programming, number 1241 in Lecture Notes in Computer Science, pages 32-59, Jyväskylä, Finland, June 9-13 1997. ECOOP'97, Springer Verlag.
2. K. Arnold and J. Gosling. The Java Programming Language. The Java Series. Addison-Wesley, 1996.
3. th European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, Sophia Antipolis and Cannes, France, June 12-16 2000. ECOOP 2000, Springer Verlag.
4. B. Blanchet. Escape analysis for Object Oriented languages. Application to Java. In OOPSLA 1999 [30], pages 20-34.
5. B. Bokowski and J. Vitek. Confined types. In OOPSLA 1999 [30], pages 82-96.
6. C. Bryce and C. Razafimahefa. An approach to safe object sharing. In OOPSLA 2000 [31], pages 367-381.
7. B. Calder, C. Krintz, and U. Hölzle. Reducing transfer delay using Java class file splitting and prefetching. In OOPSLA 1999 [30], pages 276-291.
8. L. Cardelli and P. Wegner. On understanding types, data abstractions, and polymorphism. ACM Comput. Surv., 17(4):471-522, Dec. 1985. (Pubitemid 16612686)
9. J. D. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S.Midkiff. Escape analysis for Java. In OOPSLA 1999 [30], pages 1-19.
10. th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 48-64, Vancouver, British Columbia, Oct.18-22 1998. OOPSLA'98, ACM SIGPLAN Notices 33(10) Oct. 1998.
11. T. Cohen and J. Y. Gil. Self-calibration of metrics of Java methods. In Proceedings of the International Conference on Technology of Object-Oriented Languages and Systems [37], pages 94-106.
12. D. Denning. A lattice model of secure information flow. Commun. ACM, pages 236-243, 1976.
13. 8.
14. th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 306-323, San Jose, California, Oct. 6-10 1996. OOPSLA'96, ACM SIGPLAN Notices 31(10) Oct. 1996.
15. N. Eckel and J. Y. Gil. Empirical study of object-layout strategies and optimization techniques. In Bertino [3], pages 394-421.
16. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing. Addison-Wesley, 1995.
17. S. Ghemawat, K. H. Randall, and D. J. Scales. Field analysis: Getting useful and low-cost interprocedural information. In Proceedings of the ACM SIGPLAN'00 Conference on Programming Language Design and Implementation (PLDI), pages 334-344, Vancouver, BC Canada, June 18-21 2000. ACM SIGPLAN, ACM Press.
18. J. Gil and A. Itai. The complexity of type analysis of Object Oriented programs. In Jul [24], pages 601-634.
19. P. Grogono and M. Sakkinen. Copying and comparing: Problems and solutions. In Bertino [3], pages 226-250.
20. D. Hagimont, J. Mossiere, X. de Pina, and F. Saunier. Hidden software capabilities. In Proceedings of the 16th IEEE International Conference on Distributed Computing Systems, pages 282-289, Hong Kong, May 27-30 1996.
21. th Fenno-Ugric Symposium on Software Technology, (FUSST'99), pages 139-150, Sagadi, Estonia, Aug. 19-21 1999.
22. T. Hill, J. Noble, and J. Potter. Scalable visualisations with ownership types. In Proceedings of the International Conference on Technology of Object-Oriented Languages and Systems [37], pages 202-213.
23. th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 271-285, Phoenix, Arizona, USA, Oct.6-11 1991. OOPSLA'91, ACM SIGPLAN Notices 26(11) Nov. 1991.
24. th European Conference on Object-Oriented Programming, number 1445 in Lecture Notes in Computer Science, Brussels, Belgium, July 20-24 1998. ECOOP'98, Springer Verlag.
25. 9, Lisbon, Portugal, June 14-18 1999.
26. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley Publishing Company, Reading, Massachusetts, second edition, 1999.
27. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 2nd edition, 1997.
28. th European Conference on Object-Oriented Programming, number 1098 in Lecture Notes in Computer Science, pages 189-209, Linz, Austria, July 8-12 1996. ECOOP'96, Springer Verlag.
29. J. Noble, J. Vitek, and J. Potter. Flexible alias protection. In Jul [24], pages 158-185.
30. th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, Denver, Colorado, Nov. 1-5 1999. ACM SIGPLAN Notices 34(10) Nov. 1999.
31. th Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, Minneapolis, Minnesota, Oct. 15-19 2000. ACM SIGPLAN Notices 35(10) Oct. 2000.
32. 10, pages 169-183, Mississauga, Ontario, Canada, Nov. 13-26 2000.
33. C. Skalka and S. Smith. Static enforcement of security with types. In P.Wadler, editor, Proceedings of the International Conference on Functional Programming (ICFP), Montreal, Canada, Sept. 18-20 2000.
34. st Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 38-45, Portland, Oregon, USA, Sept. 29 - Oct. 2 1986. OOPSLA'86, ACM SIGPLAN Notices 21(11) Nov. 1986.
35. B. Stroustrup. The C++ Programming Language. Addison-Wesley, 3rd edition, 1997.
36. F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In OOPSLA 2000 [31], pages 281-293.
37. TOOLS Pasific 2000. Proceedings of the International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, Nov. 2000. Prentice-Hall.
38. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In OOPSLA 1999 [30], pages 187-206.
39. N. Wirth. The programming language Pascal. Acta Informatica, 1:35-63, 1971.
40. A. Zaks, V. Feldman, and N. Aizikowitz. Sealed calls in Java packages. In OOPSLA 2000 [31], pages 83-92.