Points-to analysis for Java using annotated constraints

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 36, Issue , 2001, Pages 43-55

  Rountev, Atanas ^a   Milanova, Ana ^a   Ryder, Barbara G ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; PROGRAM COMPILERS; SEMANTICS;

ANNOTATED CONSTRAINTS; CALL GARPH CONSTRUCTION; OBJECT READ WRITE INFORMATION; POINTS TO ANALYSIS; VIRTUAL CALL RESOLUTION;

OBJECT ORIENTED PROGRAMMING;

EID: 0035551919     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/504311.504286     Document Type: Conference Paper

References (36)

1. Constraint-based type inference and parametric polymorphism
2. A toolkit for constructing type- and constraint-based program analyses
3. Type inclusion constraints and type inference
4. Static analyses for eliminating unnecessary synchronization from Java programs
5. Fast static analysis of C++ virtual function calls
6. Escape analysis for object-oriented languages. Applications to Java
7. Removing unnecessary synchronization in Java
8. Relevant context inference
9. Escape analysis for Java
10. Optimizations of object-oriented programs using static class hierarchy analysis
11. Fast interprocedural class analysis
12. Simple and effective analysis of statically-typed object-oriented programs
13. Partial online cycle elimination in inclusion constraint graphs
14. Scalable context-sensitive flow analysis using instantiation constraints
15. Marmot: An optimizing compiler for Java
16. Fast escape analysis and stack allocation for object-based programs
17. Call graph construction in object-oriented languages
18. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java
19. Object-oriented type inference
20. Precise concrete type inference for object-oriented languages
21. A study of side-effect analyses for Java
22. Points-to analysis for Java based on annotated constraints
23. Points-to analysis for Java using annotated inclusion constraints
24. Effective synchronization removal for Java
25. Points-to analysis in almost linear time
26. Points-to for Java: A general framework and an empirical comparison
27. Projection merging: Reducing redundancies in inclusion constraint graphs
28. Practical virtual method call resolution for Java
29. Practical experience with an application extractor for Java
30. Scalable propagation-based call graph construction algorithms
31. Optimizing Java bytecode using the Soot framework: Is it feasible
32. Compositional pointer and escape analysis for Java programs