메뉴 건너뛰기
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volumn 36, Issue 5, 2001, Pages 24-33
Demand-driven pointer analysis
Author keywords

[No Author keywords available]
Indexed keywords

EID: 18844437836     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/381694.378802     Document Type: Article
Times cited : (49)
References (16)
  • 1
    • 0027961596 scopus 로고
    • Interprocedural May-Alias Analysis for Pointers: Beyond-k limiting
    • A. Deutsch, "Interprocedural May-Alias Analysis for Pointers: Beyond-k limiting", PLDI 1994.
    • (1994) PLDI
    • Deutsch, A.1
  • 2
    • 0027961597 scopus 로고
    • Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
    • M. Emami, R. Ghiya and L. Hendren, "Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers", PLDI 1994.
    • (1994) PLDI
    • Emami, M.1    Ghiya, R.2    Hendren, L.3
  • 3
    • 0031630370 scopus 로고    scopus 로고
    • Partial Online Cycle Elimination in Inclusion Constraint Graphs
    • M. Fahndrich, J. Foster, Z. Su and A. Aiken, "Partial Online Cycle Elimination in Inclusion Constraint Graphs", PLDI 1998.
    • (1998) PLDI
    • Fahndrich, M.1    Foster, J.2    Su, Z.3    Aiken, A.4
  • 4
    • 0034448274 scopus 로고    scopus 로고
    • Off-line Variable Substitution for Scaling Points-to Analysis
    • A. Rountev and S. Chandra, "Off-line Variable Substitution for Scaling Points-to Analysis", PLDI 2000.
    • (2000) PLDI
    • Rountev, A.1    Chandra, S.2
  • 5
    • 0033725888 scopus 로고    scopus 로고
    • Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
    • Z. Su, M. Fahndrich and A. Aiken, "Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs", POPL 2000.
    • (2000) POPL
    • Su, Z.1    Fahndrich, M.2    Aiken, A.3
  • 6
    • 0004273497 scopus 로고
    • Program Analysis and Specialization for the C Programming Language
    • PhD. thesis, DIKU, University of Copenhagen, May
    • L. Andersen, "Program Analysis and Specialization for the C Programming Language", PhD. thesis, DIKU, University of Copenhagen, May 1994, DIKU report 94/19.
    • (1994) DIKU Report 94/19
    • Andersen, L.1
  • 7
    • 0029717388 scopus 로고    scopus 로고
    • Points-to Analysis in Almost Linear Time
    • B. Steensgaard, "Points-to Analysis in Almost Linear Time", POPL 1996.
    • (1996) POPL
    • Steensgaard, B.1
  • 8
    • 0030677609 scopus 로고    scopus 로고
    • Fast and Accurate Flow-Insensitive Points-To Analysis
    • M. Shapiro and S. Horwitz, "Fast and Accurate Flow-Insensitive Points-To Analysis", POPL 1997.
    • (1997) POPL
    • Shapiro, M.1    Horwitz, S.2
  • 9
    • 0034448966 scopus 로고    scopus 로고
    • Unification-Based Pointer Analysis with Directional Assignments
    • M. Das, "Unification-Based Pointer Analysis with Directional Assignments", PLDI 2000.
    • (2000) PLDI
    • Das, M.1
  • 10
    • 85016876025 scopus 로고
    • Context-insensitive alias analysis reconsidered
    • E. Ruf, "Context-insensitive alias analysis reconsidered", PLDI 1995.
    • (1995) PLDI
    • Ruf, E.1
  • 11
    • 0005097058 scopus 로고    scopus 로고
    • Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C
    • J. Foster, M. Fahndrich and A. Aiken, "Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C", SAS 2000.
    • (2000) SAS
    • Foster, J.1    Fahndrich, M.2    Aiken, A.3
  • 12
    • 0029180096 scopus 로고
    • Demand-driven Computation of Interprocedural Data flow
    • E. Duesterwald, R. Gupta and M. Soffa, "Demand-driven Computation of Interprocedural Data flow", POPL 1995.
    • (1995) POPL
    • Duesterwald, E.1    Gupta, R.2    Soffa, M.3
  • 14
    • 18844386979 scopus 로고
    • Programming Languages - C
    • Internation Standard
    • "Programming Languages - C", ISO/IEC 9899:1990, Internation Standard, 1990.
    • (1990) ISO/IEC 9899:1990
  • 16
    • 0034832870 scopus 로고    scopus 로고
    • Ultra-fast Pointer Analysis using CLA: A Million Lines of C Code in a Second
    • this volume
    • N. Heintze, O. Tardieu, "Ultra-fast Pointer Analysis using CLA: A Million Lines of C Code in a Second", PLDI 2001 (this volume).
    • (2001) PLDI
    • Heintze, N.1    Tardieu, O.2

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