메뉴 건너뛰기




Volumn 4144 LNCS, Issue , 2006, Pages 452-466

Lookahead widening

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONCURRENT ENGINEERING; COST EFFECTIVENESS; MATHEMATICAL OPERATORS; STATIC RANDOM ACCESS STORAGE;

EID: 33749821459     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_41     Document Type: Conference Paper
Times cited : (64)

References (13)
  • 2
    • 84958767760 scopus 로고    scopus 로고
    • Possibly not closed convex polyhedra and the Parma Polyhedra Library
    • R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill. Possibly not closed convex polyhedra and the Parma Polyhedra Library. In SAS, 2002.
    • (2002) SAS
    • Bagnara, R.1    Ricci, E.2    Zaffanella, E.3    Hill, P.M.4
  • 5
    • 84859984899 scopus 로고    scopus 로고
    • A policy iteration algorithm for computing fixed points in static analysis of programs
    • A. Costan, S. Gaubert, E. Goubault, M. Martel, and S. Putot. A policy iteration algorithm for computing fixed points in static analysis of programs. In CAV, 2005.
    • (2005) CAV
    • Costan, A.1    Gaubert, S.2    Goubault, E.3    Martel, M.4    Putot, S.5
  • 6
    • 33745891862 scopus 로고    scopus 로고
    • Verification by abstract interpretation
    • P. Cousot. Verification by abstract interpretation. In Symp. on Verification, 2003.
    • (2003) Symp. on Verification
    • Cousot, P.1
  • 7
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points
    • P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In POPL, 1977.
    • (1977) POPL
    • Cousot, P.1    Cousot, R.2
  • 8
    • 85035003357 scopus 로고
    • Automatic discovery of linear constraints among variables of a program
    • P. Cousot and N. Halbwachs. Automatic discovery of linear constraints among variables of a program. In POPL, 1978.
    • (1978) POPL
    • Cousot, P.1    Halbwachs, N.2
  • 9
    • 0031213092 scopus 로고    scopus 로고
    • Verification of real-time systems using linear relation analysis
    • N. Halbwachs, Y.-E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. FMSD, 1997.
    • (1997) FMSD
    • Halbwachs, N.1    Proy, Y.-E.2    Roumanoff, P.3
  • 11
    • 1442333664 scopus 로고    scopus 로고
    • The Octagon abstract domain
    • A. Mine. The Octagon abstract domain. In WCRE, 2001.
    • (2001) WCRE
    • Mine, A.1
  • 13
    • 84944221600 scopus 로고    scopus 로고
    • Symbolic implementation of the best transformer
    • T. Reps, M. Sagiv, and G. Yorsh. Symbolic implementation of the best transformer. In VMCAI, pages 252-266, 2004.
    • (2004) VMCAI , pp. 252-266
    • Reps, T.1    Sagiv, M.2    Yorsh, G.3


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