An analysis and visualization for revealing object sharing

Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology eXchange, eclipse'05

Volumn , Issue , 2005, Pages 11-15

  Rayside, Derek ^a   Mendel, Lucy ^a   Seater, Robert ^a   Jackson, Daniel ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALIASING; OBJECT-ORIENTED PROGRAMMING LANGUAGES; PROGRAMMING TECHNIQUE; SHARED DATA; VISUALIZERS;

DATA VISUALIZATION; DISTRIBUTED COMPUTER SYSTEMS; VISUALIZATION;

OBJECT ORIENTED PROGRAMMING;

EID: 34548777174     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1117696.1117699     Document Type: Conference Paper

References (23)

1. thVMCAI, volume 2937 of LNCS, pages 149-160, Venice, Italy, January 2004.
2. Jonathan Aldrich. Using Types to Enforce Architectural Structure. PhD thesis, U. Washington, August 2003.
3. thECOOP, volume 1241 of LNCS, Jyväskylä, Finland, June 1997.
4. thOOPSLA, pages 324 - 341, San Jose, CA, October 1996. (Pubitemid 126669313)
5. Dirk Beyer, Andreas Noack, and Claus Lewerentz. Efficient relational calculation for software analysis. IEEE Transactions on Software Engineering, 31(2):137-149, 2005. (Pubitemid 40556102)
6. Chandrasekhar Boyapati. SafeJava: A Unified Type System for Safe Programming. PhD thesis, MIT, 2004.
7. thOOPSLA, Vancouver, British Columbia, Canada, October 1998.
8. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
9. David L. Heine and Monica S. Lam. A Practical Flow- Sensitive and Context-Sensitive C and C++ Memory Leak Detector. In Rajiv Gupta, editor, Proc. PLDI, June 2003.
10. thOOPSLA, pages 271-285, Phoenix, October 1991.
11. thECOOP, volume 2743 of LNCS, pages 275- 302, Darmstadt, Germany, July 2003.
12. Margaret-Anne Storey and Hausi A. Müller and Kenny Wong. Manipulating and Documenting Software Structures. In Proc. ICSM, pages 275-284, Opio (Nice), France, October 1995.
13. Ana Milanova, Atanas Rountev, and Barbara G. Ryder. Parameterized object sensitivity for points-to and sideeffect analyses for Java. In Phyllis Frankl, editor, Proc. ISSTA, pages 1-11, Rome, Italy, July 2002.
14. Hausi A. Müller and K. Klashinsky. Rigi - A System for Programming-in-the-large. In Proc. 10thICSE, pages 80-86, Raffles City, Singapore, April 1988.
15. Peter Müller. Modular Specification and Verification of Object-Oriented Programs. PhD thesis, FernUniversiẗat Hagen, 2001.
16. thECOOP, volume 1445 of LNCS, Brussels, Belgium, July 1998.
17. David Lorge Parnas. On the Criteria to be Used in Decomposing Systems into Modules. Communications of the ACM, 15(12):1053-1058, December 1972.
18. David Lorge Parnas. Designing Software for Ease of Extension and Contraction. IEEE Transactions on Software Engineering, SE-5(2), March 1979.
19. Derek Rayside. A generic worklist algorithm for graph reachability problems in program analysis. Master's thesis, University of Waterloo, 2001.
20. thOOPSLA, San Diego, CA, October 2005.
21. Nick Scerbakov. Software Architecture Course LV 706.016 & LV 706.017. Graz University of Technology, IICM, 2002. http://coronet.iicm.edu/sa.
22. Alisdair Wren. Ownership type inference. Master's thesis, Department of Computing, Imperial College, 2003.
23. J̈urgen Ziegler, Christoph Kunz, and Veit Botsch. Matrix browser: visualizing and exploring large networked information spaces. In SIGCHI Extended Abstracts, pages 602-603, Minneapolis, MN, 2002.