SCOPUS 정보 검색 플랫폼

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2001, Pages 73-79

Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java

(3) Liang, D a Pennings, M a Harrold, M J a

a Georgia Institute of Technology (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION;

POINTS-TO ANALYSIS; PROGRAM ANALYSIS;

SOFTWARE ENGINEERING;

EID: 0034823715 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (63)

References (22)

1
- 84948972811
- The Cartesian product algorithm
- Aug.
- (1995) Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP'95) , pp. 2-26
- Agesen, O.¹

2
- 0004273497
- Program analysis and specialization for the C programming language
- Technical Report 94-19, University of Copenhagen
- (1994)
- Andersen, L.¹

3
- 0030260329
- Fast static analysis of C++ virtual function calls
- Oct.
- (1996) ACM SIGPLAN Notices , vol.31 , Issue.10 , pp. 324-341
- Bacon, D.F.¹ Sweeney, P.F.²

4
- 0033203805
- Escape analysis for object oriented languages. Application to Java
- Oct.
- (1999) OOPSLA'99 ACM Conference on Object-Oriented Systems, Languages and Applications , pp. 20-34
- Blanchet, B.¹

5
- 0033203777
- Removing unnecessary synchronization in Java
- Oct.
- (1999) OOPSLA'99 ACM Conference on Object-Oriented Systems, Languages and Applications , pp. 35-46
- Bogda, J.¹ Hölzle, U.²

6
- 0033203859
- Escape analysis for Java
- Oct.
- (1999) OOPSLA'99 ACM Conference on Object-Oriented Systems, Languages and Applications , pp. 1-19
- Choi, J.-D.¹ Gupta, M.² Serrano, M.³ Sreedhar, V.C.⁴ Midkiff, S.⁵

7
- 0034448966
- Unification-based pointer analysis with directional assignments
- Proceedings of 2000 Conference on Programming Language Design and Implementation, June 2000
- Das, M.¹

8
- 84948958710
- Optimizations of object-oriented programs using static class hierarchy analysis
- (1995) European Conference on Object-Oriented Programming , pp. 77-101
- Dean, J.¹ Grove, D.² Chambers, C.³

9
- 0031679753
- Fast interprocedural class analysis
- Jan.
- (1998) 25th ACM Symposium on Principles of Programming Languages , pp. 222-236
- DeFouw, G.¹ Grove, D.² Chambers, C.³

10
- 0027961597
- Context-sensitive interprocedural points-to analysis in the presence of function pointers
- June
- (1994) Proceedings of 1994 Conference on Programming Language Design and Implementation , pp. 242-256
- Emami, M.¹ Ghiya, R.² Hendren, L.J.³

11
- 0000998787
- Interprocedural pointer alias analysis
- July
- (1999) ACM Transactions on Programming Languages and Systems , vol.21 , Issue.4 , pp. 848-894
- Hind, M.¹ Burke, M.² Carini, P.³ Choi, J.-D.⁴

12
- 0034592895
- Which pointer analysis should i use?
- Aug.
- (2000) ISSTA'00 , pp. 113-123
- Hind, M.¹ Pioli, A.²

13
- 84887498974
- Efficient points-to analysis for whole-program analysis
- Sept.
- (1999) 7th ESEC/FSE , pp. 199-215
- Liang, D.¹ Harrold, M.J.²

14
- 0000315902
- Object-oriented type inference
- Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Nov. 1991
- Palsberg, J.¹ Schwartzbach, M.I.²

15
- 0034448274
- Off-line variable substitution for scaling points-to analysis
- June
- (2000) Proceedings of 2000 Conference on Programming Language Design and Implementation , pp. 47-56
- Rountev, A.¹ Chandra, S.²

16
- 0035551919
- Points-to analysis for java based on annotated constraints
- Conference on Object-Oriented Programming, Systems, Languages, and Applications (to Appear), Oct. 2001
- Rountev, A.¹ Milanova, A.² Ryder, B.G.³

17
- 0034276287
- Analysis and testing of programs with exception-handling constructs
- Sept.
- (2000) IEEE Trans. on Soft. Eng. , vol.26 , Issue.9 , pp. 849-871
- Sinha, S.¹ Harrold, M.J.²

18
- 0029717388
- Points-to analysis in almost linear time
- Jan.
- (1996) Conference Record of the 23rd ACM Symposium on Principles of Programming Languages , pp. 32-41
- Steensgaard, B.¹

19
- 0003555711
- Points-to for java: A general framework and an empirical comparison
- Technical report, University Passau, Nov.
- (2000)
- Streckenbach, M.¹ Snelting, G.²

20
- 0034448260
- Practical virtual method call resolution for java
- Oct.
- (2000) Conference on Object-Oriented Programming, Systems, Languages, and Applications , pp. 264-280
- Sundaresan, V.¹ Hendren, L.² Razafimahefa, C.³ Valle-Rai, R.⁴ Lam, P.⁵ Gagnon, E.⁶ Godin, C.⁷

21
- 0034448306
- Scalable propagation-based call graph construction algorithms
- Oct.
- (2000) Conference on Object-Oriented Programming, Systems, Languages, and Applications , pp. 281-293
- Tip, F.¹ Palsberg, J.²

22
- 0033203864
- Compositional pointer and escape analysis for Java programs
- Oct.
- (1999) OOPSLA'99 ACM Conference on Object-Oriented Systems, Languages and Applications , pp. 187-206
- Whaley, J.¹ Rinard, M.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.