메뉴 건너뛰기




Volumn , Issue , 2001, Pages 231-242

Dependent types for program termination verification

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SYSTEMS PROGRAMMING; PROGRAMMING THEORY; SYSTEMS ANALYSIS; THEOREM PROVING;

EID: 0034865649     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (35)

References (19)
  • 1
    • 0023437488 scopus 로고
    • Termination of rewriting systems by polynomial interpretations and its implementation
    • (1987) SCP , vol.9 , Issue.2 , pp. 137-160
    • BenCherifa, A.1    Lescanne, P.2
  • 16
    • 4244144641 scopus 로고    scopus 로고
    • Dependent types for program termination verification
    • July
    • (2000)
    • Xi, H.1


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