Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00292466n
Noun Concept
Categories: Functional programming, Proof assistants, Programming paradigms
EN
total functional programming  Elementary strong functional programming  strong functional programming  Total FP  total language
EN
Total functional programming is a programming paradigm that restricts the range of programs to those that are provably terminating. Wikipedia
Definitions
Relations
Sources
EN
Total functional programming is a programming paradigm that restricts the range of programs to those that are provably terminating. Wikipedia
Non-Turing-complete programming paradigm restricted to provably terminating programs Wikidata
IS A
programming paradigm
purely functional programming
DOES NOT HAVE QUALITY
Turing completeness
USE
proof assistant
Wikipedia
EN
total functional programming
Wikidata
EN
total functional programming
Wikipedia Redirections
EN
Elementary strong functional programming, strong functional programming, Total FP, total language
Wikidata Alias
EN
strong functional programming

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License