Showing 1 - 10 of 10
Persistent link: https://www.econbiz.de/10014452171
Persistent link: https://www.econbiz.de/10002323436
Persistent link: https://www.econbiz.de/10000105032
Persistent link: https://www.econbiz.de/10002665691
Persistent link: https://www.econbiz.de/10002665704
Persistent link: https://www.econbiz.de/10001659296
Persistent link: https://www.econbiz.de/10002665669
Persistent link: https://www.econbiz.de/10000105033
We describe an innovative method for proving total correctness of tail recursive programs having a specific structure, namely programs in which an auxiliary tail recursive function is driven by a main nonrecursive function, and only the specification of the main function is provided. The...
Persistent link: https://www.econbiz.de/10011051043