Integrating the soot compiler infrastructure into an IDE

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

Volumn 2985, Issue , 2004, Pages 281-297

  Lhotak, Jennifer ^a   Lhoták, Ondrej ^a   Hendren, Laune ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRODIFFERENTIAL EQUATIONS; PROGRAM DEBUGGING; SEMANTICS; SOOT; WEB SERVICES;

BYTECODES; COMPILER ANALYSIS; END USERS; FUNDAMENTAL COMPONENT; INTEGRATED DEVELOPMENT ENVIRONMENT; INTEGRATED TOOLKIT; PROGRAM UNDERSTANDING; SEMANTIC INFORMATION;

PROGRAM COMPILERS;

EID: 35048872768     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24723-4_19     Document Type: Article

References (24)

1. AspectJ. http://eclipse.org/aspectj/.
2. D. F. Bacon and P. F, Sweency. Fast static analysis of C++ virtual function calls. In OOPSLA '96 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications, pages 324-341. ACM Press, 1996.
3. I. Balaban, F. Tip, and J. Dolby. Using static analysis for program understanding in an integrated development environment http: //oopsla. acm. org/fp/files/dem-1.html, 2002.
4. D. Binkley, B. Duncan, B. Jubb, and A. Wielgosz. The feedback compiler. In IEEE Sixth International Workshop on Program Comprehension, pages 198-205, June 1998.
5. D. Binkley and K. Gallagher. Program slicing. Advances in Computers, 43:1-50, 1996.
6. E. Bodden. A High-level View of Java Applications. In OOPSLA'03 ACM Conference on Object-Oriented Systems, Languages and Applications (Companion), SIGPLAN, Anaheim, CA, October 2003.
7. M. Boyd. Graphical visualization of compiler optimizations. Master's thesis, Florida State University, July 1993.
8. B.-M. Chang, J.-W. Jo, and S. H. Her. Visualization of exception propagation for Java using static analysis. In Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), page 173. IEEE Computer Society, 2002.
9. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP '95-Object-Oriented Programming, 9th European Conference, volume 952 of LNCS, pages 77-101, 7-11 Aug. 1995.
10. S. Diehl and J. T. Stasko, editors. Proceedings of the 2003 ACM Symposium on Software Visualization. ACM Press, 2003.
11. C. W. Fraser and D. R. Hanson. A Retargetable C Compiler: Design and Implementation. Addison-Wesley Longman Publishing Co., Inc., 1995.
12. B. K. Harvey. Graphical user interface for compiler optimizations withSimpIe-SUIF. Master's thesis, University of California, Riverside, December 1996.
13. O. Lhoták and L. Hendren. Scaling Java points-to analysis using Spark. In Compiler Construction, 12th International Conference, volume 2622 of LNCS, pages 153-169, April 2003.
14. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.
15. H. A. Müller, R. Koschke, and K. Wong, editors, 11th International Workshop on Program Comprehension (IWPC 2003). IEEE Computer Society, 2003.
16. N. Nystrom, M. R. Clarkson, and A. C. Myers. Polyglot: An extensible compiler framework for Java. In Compiler Construction, 12th International Conference, volume 2622 of LNCS, pages 138-152, April 2003.
17. P. Pominville, F. Qian, R. Vallée-Rai, L. Hendren, and C. Verbrugge. A framework for optimizing Java using attributes. In Compiler Construction, 10th International Conference (CC2001), volume 2027 of LNCS, pages 334-554, 2001.
18. F. Qian, L. Hendren, and C. Verbrugge. A comprehensive approach to array bounds check elimination for Java. In Compiler Construction, 11th International Conference, volume 2304 of LNCS, pages 325-341, April 2002.
19. SableCC. http://www.sable.mcgill.ca/sablecc/.
20. SPEC JVM98 Benchmarks, http://www.spec.org/osg/jvm98/.
21. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Vallee-Rai, P. Lam, E. Gagnon, and C. Godin. Practical virtual method call resolution for Java. In Proceedings of OOPSLA 2000, pages 264280, 2000.
22. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121189, 1995.
23. R. Vallée-Rai, E. Gagnon, L. J. Hendren, P. Lam, P. Pominville, and V. Sundaresan. Optimizing Java bytecode using the Soot framework: is it feasible? In Compiler Construction, 9th International Conference (CC2000), volume 1781 of LNCS, pages 18-34, 2000.
24. S. R. Vegdahl. Using visualization tools to teach compiler design. The Journal of Computing in Small Colleges, 16(2):72-83, 2001.