메뉴 건너뛰기




Volumn , Issue , 2009, Pages 123-124

A value analysis for C programs

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; C LANGUAGE; C PROGRAMS; OPEN SOURCES; PLUG-INS; RUN-TIME ERRORS; RUNTIMES; SUPERSETS; VALUE ANALYSIS;

EID: 72349085231     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2009.22     Document Type: Conference Paper
Times cited : (47)

References (3)
  • 1
    • 72349091342 scopus 로고    scopus 로고
    • Frama-C: http://frama-c.cea.fr.
    • Frama-C


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