Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Walther_recursion> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Walther_recursion abstract "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.Walther recursion does not solve the halting problem, as there are still classes of programs that will terminate, but which Walther recursion cannot prove to terminate. Walther recursion may be used in total functional languages in order to allow a more liberal style of showing primitive recursion.(1) http://ttic.uchicago.edu/~dmcallester/walther.ps".
- Walther_recursion wikiPageExternalLink walther.ps.
- Walther_recursion wikiPageID "33068494".
- Walther_recursion wikiPageRevisionID "450194776".
- Walther_recursion hasPhotoCollection Walther_recursion.
- Walther_recursion subject Category:Recursion.
- Walther_recursion comment "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.Walther recursion does not solve the halting problem, as there are still classes of programs that will terminate, but which Walther recursion cannot prove to terminate.".
- Walther_recursion label "Walther recursion".
- Walther_recursion sameAs m.0h5603l.
- Walther_recursion sameAs Q7966682.
- Walther_recursion sameAs Q7966682.
- Walther_recursion wasDerivedFrom Walther_recursion?oldid=450194776.
- Walther_recursion isPrimaryTopicOf Walther_recursion.