About: Total functional programming

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Non-Turing-complete programming paradigm restricted to provably terminating programs

Property	Value
dbo:description	non-Turing-complete programming paradigm restricted to provably terminating programs (en)
dbo:wikiPageWikiLink	dbr:System_F dbr:Functional_programming dbr:Recursion dbr:Walther_recursion dbr:Quicksort dbr:David_Turner_(computer_scientist) dbr:Big_O_notation dbr:Abstract_interpretation dbr:Termination_analysis dbr:Epigram_(programming_language) dbr:Partial_function dbr:Lazy_evaluation dbr:Corecursion dbr:Data dbr:Finitary dbc:Functional_programming dbc:Proof_assistants dbr:Computer_programming dbc:Programming_paradigms dbr:Refinement_type dbr:Dependent_types dbr:Haskell_(programming_language) dbr:Upper_bound dbr:Strict_evaluation dbr:Machine_that_always_halts dbr:Martin-Löf_type_theory dbr:Charity_(programming_language) dbr:Calculus_of_Constructions dbr:I/O dbr:Codata_(computer_science) dbr:Turing-complete dbr:Substructural_recursion
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description
dct:subject	dbc:Functional_programming dbc:Proof_assistants dbc:Programming_paradigms
rdfs:label	Total functional programming (en) 强函数式编程 (zh)
owl:sameAs	wikidata:Total functional programming dbpedia-zh:Total functional programming dbpedia-global:Total functional programming freebase:Total functional programming yago-res:Total functional programming dbr:Total functional programming
prov:wasDerivedFrom	wikipedia-en:Total_functional_programming?oldid=1291330082&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Total_functional_programming
is dbo:wikiPageDisambiguates of	dbr:TFP
is dbo:wikiPageRedirects of	dbr:Elementary_strong_functional_programming dbr:Strong_functional_programming dbr:Total_FP dbr:Total_language
is dbo:wikiPageWikiLink of	dbr:List_of_functional_programming_topics dbr:Functional_programming dbr:Coinduction dbr:Walther_recursion dbr:TFP dbr:Decider_(Turing_machine) dbr:Termination_analysis dbr:Normal_form_(abstract_rewriting) dbr:Turing_completeness dbr:Agda_(programming_language) dbr:Curry–Howard_correspondence dbr:Meta-circular_evaluator dbr:Constructive_set_theory dbr:Idris_(programming_language) dbr:Elementary_strong_functional_programming dbr:Strong_functional_programming dbr:Total_FP dbr:Total_language
is dbp:paradigm of	dbr:Agda_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Total_functional_programming