|
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;
ALGEBRAIC DATATYPES;
POLYMORPHISM;
PROGRAM TERMINATION VERIFICATION;
COMPUTER PROGRAMMING LANGUAGES;
|
EID: 0034865649
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (35)
|
References (19)
|