메뉴 건너뛰기




Volumn 13, Issue 6, 2011, Pages 585-601

SubPolyhedra: A family of numerical abstract domains for the (more) scalable inference of linear inequalities

Author keywords

Abstract domains; Abstract interpretation; Loop invariants; Numerical abstract domains; Static analysis

Indexed keywords

ABSTRACT DOMAINS; ABSTRACT INTERPRETATIONS; COMPLEX CODES; JOIN POINT; LINEAR EQUALITY; LINEAR INEQUALITIES; LOOP INVARIANTS; SCALABLE ANALYSIS;

EID: 80053312057     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-011-0199-5     Document Type: Article
Times cited : (11)

References (37)
  • 8
    • 33745922457 scopus 로고    scopus 로고
    • The calculational design of a generic abstract interpreter
    • NATO ASI Series F. IOS Press, Amsterdam
    • Cousot, P.: The calculational design of a generic abstract interpreter. In: Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999).
    • (1999) Calculational System Design
    • Cousot, P.1
  • 11
    • 0000911801 scopus 로고
    • Abstract interpretation and application to logic programs
    • Cousot P., Cousot R.: Abstract interpretation and application to logic programs. J. Logic Program. 13(2-3), 103-179 (1992).
    • (1992) J. Logic Program. , vol.13 , Issue.2-3 , pp. 103-179
    • Cousot, P.1    Cousot, R.2
  • 20
    • 0016881880 scopus 로고
    • On affine relationships among variables of a program
    • Karr M.: On affine relationships among variables of a program. Acta Inform. 6(2), 133-151 (1976).
    • (1976) Acta Inform. , vol.6 , Issue.2 , pp. 133-151
    • Karr, M.1
  • 32
    • 33751098295 scopus 로고    scopus 로고
    • Automatic generation of polynomial invariants of bounded degree using abstract interpretation
    • Rodríguez-Carbonell E., Kapur D.: Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64(1), 54-75 (2007).
    • (2007) Sci. Comput. Program. , vol.64 , Issue.1 , pp. 54-75
    • Rodríguez-Carbonell, E.1    Kapur, D.2
  • 37
    • 4243066295 scopus 로고    scopus 로고
    • Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time
    • Spielman D. A., Teng S.-H.: Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time. J. ACM 51(3), 385-463 (2004).
    • (2004) J. ACM , vol.51 , Issue.3 , pp. 385-463
    • Spielman, D.A.1    Teng, S.-H.2


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