Walther recursion
id:
walther-recursion-283-4896602
title:
Walther recursion
text:
In computer programming, Walther recursion is a method of analysing recursive functions that can determine if the function is definitely terminating, given finite inputs. It allows a more natural style of expressing computation than simply using primitive recursive functions. Since the halting problem cannot be solved in general, there must still be programs that terminate, but which Walther recursion cannot prove to terminate. Walther recursion may be used in total functional languages in order
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Walther_recursion
date created:
date modified:
2022-05-15T01:58:28Z
main entity:
{"identifier":"Q7966682","url":"https://www.wikidata.org/entity/Q7966682"}
image:
fields total:
13
integrity:
13