메뉴 건너뛰기
ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Volumn , Issue , 2004, Pages 14-16
Evaluating the imprecision of static analysis
Author keywords

Analysis precision; Dynamic analysis; Static analysis
Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; JAVA PROGRAMMING LANGUAGE; SEMANTICS; SET THEORY;
EID: 4544307575     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/996821.996829     Document Type: Conference Paper
Times cited : (14)
References (4)
  • 1
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixed points
    • P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixed points. In POPL, 1977.
    • (1977) POPL
    • Cousot, P.1    Cousot, R.2
  • 2
    • 0011792814 scopus 로고    scopus 로고
    • A framework for call graph construction algorithms
    • D. Grove and C. Chambers. A framework for call graph construction algorithms. TOPLAS, 23(6):685-746, 2001.
    • (2001) TOPLAS , vol.23 , Issue.6 , pp. 685-746
    • Grove, D.1    Chambers, C.2
  • 3
    • 22944485843 scopus 로고    scopus 로고
    • Static and dynamic analysis of call chains in Java
    • A. Rountev, S. Kagan, and M. Gibas. Static and dynamic analysis of call chains in Java. In ISSTA, 2004.
    • (2004) ISSTA
    • Rountev, A.1    Kagan, S.2    Gibas, M.3
  • 4
    • 80051939591 scopus 로고    scopus 로고
    • Dimensions of precision in reference analysis of object-oriented programming languages
    • B. G. Ryder. Dimensions of precision in reference analysis of object-oriented programming languages. In CC, 2003.
    • (2003) CC
    • Ryder, B.G.1

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