메뉴 건너뛰기




Volumn 156, Issue , 2004, Pages 367-375

TVLA: A system for generating abstract interpreters

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; CONCURRENCY CONTROL; JAVA PROGRAMMING LANGUAGE; MANY VALUED LOGICS; SEMANTICS;

EID: 84902459094     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4020-8157-6_28     Document Type: Conference Paper
Times cited : (15)

References (19)
  • 2
    • 34247338386 scopus 로고    scopus 로고
    • Abstract interpretation based static analysis parameterized by semantics
    • Cousot, P. (1997). Abstract interpretation based static analysis parameterized by semantics. In Static Analysis Symp., pages 388-394.
    • (1997) In Static Analysis Symp , pp. 388-394
    • Cousot, P.1
  • 3
    • 0018294932 scopus 로고
    • Systematic design of program analysis frameworks
    • New York, NY. ACM Press
    • Cousot, P. and Cousot, R. (1979). Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269-282, New York, NY. ACM Press.
    • (1979) Symp. On Princ. of Prog. Lang , pp. 269-282
    • Cousot, P.1    Cousot, R.2
  • 5
    • 84906086021 scopus 로고    scopus 로고
    • TVLA: A system for implementing static analyses
    • Lev-Ami, T. and Sagiv, M. (2000). TVLA: A system for implementing static analyses. In Static Analysis Symp., pages 280-301.
    • (2000) Static Analysis Symp , pp. 280-301
    • Lev-Ami, T.1    Sagiv, M.2
  • 6
    • 24644495684 scopus 로고    scopus 로고
    • Abstraction refinement for 3-valued-logic analysis
    • Comp. Sci. Dept., Univ. of Wisconsin
    • Loginov, A., Reps, T., and Sagiv, M. (2004). Abstraction refinement for 3-valued-logic analysis. Tech. Rep. 1504, Comp. Sci. Dept., Univ. of Wisconsin.
    • (2004) Tech. Rep
    • Loginov, A.1    Reps, T.2    Sagiv, M.3
  • 10
    • 35248890361 scopus 로고    scopus 로고
    • Finite differencing of logical formulas for static analysis
    • Reps, T., Sagiv, M., and Loginov, A. (2003). Finite differencing of logical formulas for static analysis. In European Symp. on Programming, pages 380-398.
    • (2003) European Symp. On Programming , pp. 380-398
    • Reps, T.1    Sagiv, M.2    Loginov, A.3
  • 11
    • 84958978460 scopus 로고    scopus 로고
    • Interprocedural shape analysis for recursive programs
    • Wilhelm, R., editor, LNCS, Springer
    • Rinetzky, N. and Sagiv, M. (2001). Interprocedural shape analysis for recursive programs. In Wilhelm, R., editor, Proc. of CC 2001, volume 2027 of LNCS, pages 133-149. Springer.
    • (2001) Proc. of CC 2001 , vol.2027 , pp. 133-149
    • Rinetzky, N.1    Sagiv, M.2
  • 12
    • 0031598986 scopus 로고    scopus 로고
    • Solving shape-analysis problems in languages with destructive updating
    • Sagiv, M., Reps, T., and Wilhelm, R. (1998). Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst., 20(1):1-50.
    • (1998) Trans. On Prog. Lang. and Syst , vol.20 , Issue.1 , pp. 1-50
    • Sagiv, M.1    Reps, T.2    Wilhelm, R.3
  • 14
    • 21144449292 scopus 로고    scopus 로고
    • Establishing local temporal heap safety properties with applications to compile-time memory management
    • LNCS
    • Shaham, R., Yahav, E., Kolodner, E., and Sagiv, M. (2003). Establishing local temporal heap safety properties with applications to compile-time memory management. In Proc. of SAS'03, volume 2694 of LNCS, pages 483-503.
    • (2003) Proc. of SAS'03 , vol.2694 , pp. 483-503
    • Shaham, R.1    Yahav, E.2    Kolodner, E.3    Sagiv, M.4
  • 15
    • 0035040403 scopus 로고    scopus 로고
    • Verifying safety properties of concurrent Java programs using 3-valued logic
    • Yahav, E. (2001). Verifying safety properties of concurrent Java programs using 3-valued logic. In Symp. on Princ. of Prog. Lang., pages 27-40.
    • (2001) In Symp. On Princ. of Prog. Lang , pp. 27-40
    • Yahav, E.1
  • 16
    • 8344280849 scopus 로고    scopus 로고
    • Verifying safety properties using separation and heterogeneous abstractions
    • To appear
    • Yahav, E. and Ramalingam, G. (2004). Verifying safety properties using separation and heterogeneous abstractions. In SIGPLAN Conf. on Prog. Lang. Design and Impl. To appear.
    • (2004) SIGPLAN Conf. On Prog. Lang. Design and Impl
    • Yahav, E.1    Ramalingam, G.2
  • 17
    • 35248859723 scopus 로고    scopus 로고
    • Verifying temporal heap properties specified via evolution logic
    • LNCS
    • Yahav, E., Reps, T., Sagiv, M., and Wilhelm, R. (2003). Verifying temporal heap properties specified via evolution logic. In European Symp. on Programming, volume 2618 of LNCS.
    • (2003) European Symp. On Programming , vol.2618
    • Yahav, E.1    Reps, T.2    Sagiv, M.3    Wilhelm, R.4


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