메뉴 건너뛰기




Volumn , Issue , 2008, Pages 177-187

A practical and precise inference and specializer for array bound checks elimination

Author keywords

Dependent types; Safety verification; Size properties

Indexed keywords

ARRAY BOUND CHECK; CONTEXT SENSITIVE; DEPENDENT TYPES; GAME PROGRAMMING; IMPERATIVE LANGUAGES; INFERENCE ALGORITHM; INFERENCE MECHANISM; NOVEL TECHNIQUES; ONCE THROUGH; SAFETY VERIFICATION; SOFTWARE PROGRAM;

EID: 77950905651     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1328408.1328434     Document Type: Conference Paper
Times cited : (11)

References (45)
  • 8
    • 84888237427 scopus 로고    scopus 로고
    • Deriving pre-conditions for array bound check elimination
    • Aarhus, Denmark, May Springer Verlag.
    • W.N. Chin, S.C. Khoo, and Dana N. Xu. Deriving pre-conditions for array bound check elimination. In 2nd Symp. on Programs as Data Objects, pages 2-24, Aarhus, Denmark, May 2001. Springer Verlag.
    • (2001) 2nd Symp. on Programs as Data Objects , pp. 2-24
    • Chin, W.N.1    Khoo, S.C.2    Xu, D.N.3
  • 26
    • 56749178102 scopus 로고    scopus 로고
    • Pentagons: A weakly relational abstract domain for the efficient validation of array accesses
    • F. Logozzo and M. Fahndrich. Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. In ACM Symposium on Applied Computing, 2008.
    • ACM Symposium on Applied Computing, 2008
    • Logozzo, F.1    Fahndrich, M.2
  • 30
    • 33244463626 scopus 로고    scopus 로고
    • Efficient and effective array bound checking
    • T.V.N. Nguyen and F. Irigoin. Efficient and effective array bound checking. ACM Trans. Program. Lang. Syst., 27(3):527-570, 2005.
    • (2005) ACM Trans. Program. Lang. Syst. , vol.27 , Issue.3 , pp. 527-570
    • Nguyen, T.V.N.1    Irigoin, F.2
  • 31
    • 77950886357 scopus 로고    scopus 로고
    • National Institute of Standards and Technology
    • National Institute of Standards and Technology. Java SciMark benchmark for scientific computing. http://math.nist.gov/scimark2.
  • 32
    • 77950889581 scopus 로고    scopus 로고
    • Simon Peyton-Jones and et al. Glasgow Haskell Compiler. http://www.haskell.org/ghc.
    • Peyton-Jones, S.1
  • 35
    • 84976676720 scopus 로고
    • The Omega Test: A fast practical integer programming algorithm for dependence analysis
    • W. Pugh. The Omega Test: A fast practical integer programming algorithm for dependence analysis. Communications of the ACM, 8:102-114, 1992.
    • (1992) Communications of the ACM , vol.8 , pp. 102-114
    • Pugh, W.1
  • 37
    • 0034448151 scopus 로고    scopus 로고
    • Symbolic bounds analysis of pointers, array indices, and accessed memory regions
    • ACM Press, June
    • R. Rugina and M. Rinard. Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In ACM Conference on Programming Language Design and Implementation, pages 182-195. ACM Press, June 2000.
    • (2000) ACM Conference on Programming Language Design and Implementation , pp. 182-195
    • Rugina, R.1    Rinard, M.2


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