About: Termination analysis

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

Form of program analysis in computer science

Property	Value
dbo:description	propriété d'un algorithme s'arrêtant après un temps fini (fr) form of program analysis in computer science (en)
dbo:wikiPageExternalLink	http://lists.lri.fr/mailman/listinfo/termtools http://verify.rwth-aachen.de/giesl/papers/rta_extended.ps https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/ohlebusch/PAPERS/RTA00.ps.gz http://www.lri.fr/~marche/termination-competition/ http://www.win.tue.nl/~akoprows/papers/arctic-int-RTA-08.pdf http://www.lsi.upc.edu/~wst03/abs/sys3-TTT.pdf http://www.imada.sdu.dk/~petersk/papers/RTA04-aprove-tool.pdf https://www.lri.fr/~marche/marche07rta.pdf https://www.cs.bu.edu/~hwxi/academic/papers/rta98.pdf http://termination-portal.org https://web.archive.org/web/20061009144142/http:/progtools.comlab.ox.ac.uk/projects/termination/termination http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/Criteria-Termination-I_CL-Kluwer-2000.ps%7Cformat=postscript http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/On-proving-termination-AIJ-71-1_1994-2.pdf http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/lpar-2005-termination_incomplete-springer.pdf
dbo:wikiPageWikiLink	dbr:Total_functional_programming dbr:Counter_(digital) dbr:Mathematical_proof dbr:Factorial dbr:Prolog dbr:Walther_recursion dbc:Static_program_analysis dbr:Decidability_(logic) dbr:Program_loop dbr:Program_analysis dbr:Ordinal_number dbr:Halting_problem dbr:Arithmetical_hierarchy dbr:Collatz_conjecture dbr:Algorithm dbr:Programming_language dbr:Coq dbr:Logic_for_Programming,_Artificial_Intelligence_and_Reasoning dbr:C_(programming_language) dbr:Computer_science dbr:Recursion_(computer_science) dbr:Recursion_termination dbr:Computer_program dbr:Pseudocode dbr:Mercury_(programming_language) dbr:Well-founded_relation dbr:Exception_handling dbr:Undecidable_problem dbr:Return_value dbr:Loop_variant dbr:Formal_verification dbr:Pathological_(mathematics) dbr:Agda_(programming_language) dbr:Natural_number dbr:Turing_machine dbr:Data_processing dbr:Rewriting_Techniques_and_Applications dbr:Conference_on_Automated_Deduction dbr:Artificial_Intelligence_(journal) dbr:Haskell_(programming_language) dbr:Hans_Zantema dbr:Total_Turing_machine dbr:Arithmetic_overflow dbr:Well-ordering_property dbr:Dependently_typed dbr:Curry-Howard_isomorphism dbr:Function_argument dbr:Complexity_analysis dbr:Infinite_descending_chains dbr:Total_correctness
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:As_of dbt:Citation_needed dbt:Short_description
dct:subject	dbc:Static_program_analysis
gold:hypernym	dbr:Analysis
rdfs:label	Termination analysis (en) Terminaison d'un algorithme (fr)
owl:sameAs	freebase:Termination analysis wikidata:Termination analysis dbpedia-fr:Termination analysis dbpedia-global:Termination analysis dbr:Termination analysis
prov:wasDerivedFrom	wikipedia-en:Termination_analysis?oldid=1280477873&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Termination_analysis
is dbo:knownFor of	dbr:Byron_Cook_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:Termination
is dbo:wikiPageRedirects of	dbr:Measure_(termination) dbr:Termination_checking dbr:Termination_proof dbr:Provably_terminating
is dbo:wikiPageWikiLink of	dbr:Total_functional_programming dbr:Termination dbr:Mathematical_proof dbr:Walther_recursion dbr:Program_analysis dbr:Dijkstra–Scholten_algorithm dbr:Analysis_of_algorithms dbr:Decider_(Turing_machine) dbr:Normal_form_(abstract_rewriting) dbr:Halting_problem dbr:Huang's_algorithm dbr:Christoph_Walther dbr:Recursion_(computer_science) dbr:Hoare_logic dbr:Byron_Cook_(computer_scientist) dbr:Divergence_(computer_science) dbr:Loop_variant dbr:Formal_verification dbr:AC-3_algorithm dbr:Measure_(termination) dbr:List_of_computer_scientists dbr:Neil_D._Jones dbr:KeY dbr:T2_Temporal_Prover dbr:List_of_Dutch_inventions_and_innovations dbr:Hans_Zantema dbr:Idris_(programming_language) dbr:Size-change_termination_principle dbr:Termination_checking dbr:Termination_proof dbr:Provably_terminating
is dbp:knownFor of	dbr:Byron_Cook_(computer_scientist)
is rdfs:seeAlso of	dbr:Decider_(Turing_machine)
is foaf:primaryTopic of	wikipedia-en:Termination_analysis