메뉴 건너뛰기




Volumn 4144 LNCS, Issue , 2006, Pages 532-546

Lazy shape analysis

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL METHODS; DATA STORAGE EQUIPMENT; DATA STRUCTURES; GRAPH THEORY; INTEGRATED CIRCUIT LAYOUT; RECURSIVE FUNCTIONS;

EID: 33749852994     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_48     Document Type: Conference Paper
Times cited : (41)

References (20)
  • 1
    • 24144470812 scopus 로고    scopus 로고
    • Shape analysis by predicate abstraction
    • LNCS 3385. Springer
    • I. Balaban, A. Pnueli, and L.D. Zuck. Shape analysis by predicate abstraction. In Proc. VMCAI, LNCS 3385, pages 164-180. Springer, 2005.
    • (2005) Proc. VMCAI , pp. 164-180
    • Balaban, I.1    Pnueli, A.2    Zuck, L.D.3
  • 2
    • 0036039066 scopus 로고    scopus 로고
    • The SLAM project: Debugging system software via static analysis
    • ACM
    • T. Ball and S.K. Rajamani. The SLAM project: Debugging system software via static analysis. In Proc. POPL, pages 1-3. ACM, 2002.
    • (2002) Proc. POPL , pp. 1-3
    • Ball, T.1    Rajamani, S.K.2
  • 5
    • 0025444591 scopus 로고
    • Analysis of pointers and structures
    • ACM
    • D.R. Chase, M.N. Wegman, and F.K. Zadeck. Analysis of pointers and structures. In Proc. PLDI, pages 296-310. ACM, 1990.
    • (1990) Proc. PLDI , pp. 296-310
    • Chase, D.R.1    Wegman, M.N.2    Zadeck, F.K.3
  • 6
    • 84944406286 scopus 로고    scopus 로고
    • Counterexample-guided abstraction refinement
    • LNCS 1855. Springer
    • E.M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement. In Proc. CAV, LNCS 1855, pages 154-169. Springer, 2000.
    • (2000) Proc. CAV , pp. 154-169
    • Clarke, E.M.1    Grumberg, O.2    Jha, S.3    Lu, Y.4    Veith, H.5
  • 7
    • 35248848251 scopus 로고    scopus 로고
    • Shape analysis through predicate abstraction and model checking
    • LNCS 2575. Springer
    • D. Dams and K.S. Namjoshi. Shape analysis through predicate abstraction and model checking. In Proc. VMCAI, LNCS 2575, pages 310-324. Springer, 2003.
    • (2003) Proc. VMCAI , pp. 310-324
    • Dams, D.1    Namjoshi, K.S.2
  • 8
    • 32344451326 scopus 로고    scopus 로고
    • Joining data flow with predicates
    • ACM
    • J. Fischer, R. Jhala, and R. Majumdar. Joining data flow with predicates. In Proc. FSE, pages 227-236. ACM, 2005.
    • (2005) Proc. FSE , pp. 227-236
    • Fischer, J.1    Jhala, R.2    Majumdar, R.3
  • 9
    • 17044425453 scopus 로고    scopus 로고
    • A framework for numeric analysis of array operations
    • ACM
    • D. Gopan, T.W. Reps, and M. Sagiv. A framework for numeric analysis of array operations. In Proc. POPL, pages 338-350. ACM, 2005.
    • (2005) Proc. POPL , pp. 338-350
    • Gopan, D.1    Reps, T.W.2    Sagiv, M.3
  • 10
    • 33745794069 scopus 로고    scopus 로고
    • Counterexample-driven refinement for abstract interpretation
    • LNCS 3920. Springer
    • B.S. Gulavani and S.K. Rajamani. Counterexample-driven refinement for abstract interpretation. In Proc. TACAS, LNCS 3920, pages 474-488. Springer, 2006.
    • (2006) Proc. TACAS , pp. 474-488
    • Gulavani, B.S.1    Rajamani, S.K.2
  • 13
    • 85051014774 scopus 로고
    • A flexible approach to interprocedural data-flow analysis and programs with recursive data structures
    • ACM
    • N.D. Jones and S.S. Muchnick. A flexible approach to interprocedural data-flow analysis and programs with recursive data structures. In Proc. POPL, pages 66-74. ACM, 1982.
    • (1982) Proc. POPL , pp. 66-74
    • Jones, N.D.1    Muchnick, S.S.2
  • 15
    • 0034593015 scopus 로고    scopus 로고
    • Putting static analysis to work for verification: A case study
    • ACM
    • T. Lev-Ami, T.W. Reps, M. Sagiv, and R. Wilhelm. Putting static analysis to work for verification: A case study. In Proc. ISSTA, pages 26-38. ACM, 2000.
    • (2000) Proc. ISSTA , pp. 26-38
    • Lev-Ami, T.1    Reps, T.W.2    Sagiv, M.3    Wilhelm, R.4
  • 16
    • 84906086021 scopus 로고    scopus 로고
    • TVLA: A system for implementing static analyses
    • LNCS 2280. Springer
    • T. Lev-Ami and M. Sagiv. TVLA: A system for implementing static analyses. In Proc. SAS, LNCS 2280, pages 280-301. Springer, 2000.
    • (2000) Proc. SAS , pp. 280-301
    • Lev-Ami, T.1    Sagiv, M.2
  • 17
    • 26444527350 scopus 로고    scopus 로고
    • Abstraction refinement via inductive learning
    • LNCS 3576. Springer
    • A. Loginov, T.W. Reps, and M. Sagiv. Abstraction refinement via inductive learning, In Proc. CAV, LNCS 3576, pages 519-533. Springer, 2005.
    • (2005) Proc. CAV , pp. 519-533
    • Loginov, A.1    Reps, T.W.2    Sagiv, M.3
  • 18
    • 33745162025 scopus 로고    scopus 로고
    • Interpolation and SAT-based model checking
    • LNCS 2725. Springer
    • K.L. McMillan. Interpolation and SAT-based model checking. In Proc. CAV, LNCS 2725, pages 1-13. Springer, 2003.
    • (2003) Proc. CAV , pp. 1-13
    • McMillan, K.L.1


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