Dependent Types for Program Termination Verification

• 1 January 2002
• journal article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 15  (1) , 91-131
• https://doi.org/10.1023/a:1019916231463

Abstract

Keywords

• FUNCTIONS
• RECURSION
• REALISTIC
• PROGRAM TERMINATION VERIFICATION
• SUPPORTS GENERAL