| http://dbpedia.org/ontology/abstract
|
La terminaison est une propriété fondament … La terminaison est une propriété fondamentale des algorithmes. Elle stipule que les calculs décrits par l'algorithme s'arrêteront. En général cet arrêt doit avoir lieu quelles que soient les données initiales que l'on fournit à l'algorithme. Si l'on veut insister sur ce point on parle alors souvent de terminaison uniforme, mais le plus généralement « terminaison » couvre aussi bien l'arrêt sur une donnée que l'arrêt sur toutes les données et c'est le contexte qui décide. La terminaison forme avec la correction partielle un des aspects de la correction des algorithmes, la correction partielle et la terminaison forment ce que l'on appelle la correction totale. Dans le cas spécifique des machines de Turing, la terminaison s'appelle l'arrêt (halting en anglais dans le vocabulaire de Turing). Un cas particulier d'étude de la terminaison est la terminaison d'un système de réécriture.la terminaison d'un système de réécriture.
, In computer science, termination analysis … In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for each input. This means to determine whether the input program computes a total function. It is closely related to the halting problem, which is to determine whether a given program halts for a given input and which is undecidable. The termination analysis is even more difficult than the Halting problem: the termination analysis in the model of Turing machines as the model of programs implementing computable functions would have the goal of deciding whether a given Turing machine is a total Turing machine, and this problem is at level of the arithmetical hierarchy and thus is strictly more difficult than the Halting problem. Now as the question whether a computable function is total is not semi-decidable, each sound termination analyzer (i.e. an affirmative answer is never given for a non-terminating program) is incomplete, i.e. must fail in determining termination for infinitely many terminating programs, either by running forever or halting with an indefinite answer.ever or halting with an indefinite answer.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/ohlebusch/PAPERS/RTA00.ps.gz +
, http://verify.rwth-aachen.de/giesl/papers/rta_extended.ps +
, 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/Criteria-Termination-I_CL-Kluwer-2000.ps%7Cformat=postscript +
, http://www.win.tue.nl/~akoprows/papers/arctic-int-RTA-08.pdf +
, http://www.lsi.upc.edu/~wst03/abs/sys3-TTT.pdf +
, http://www.lri.fr/~marche/termination-competition/ +
, http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/lpar-2005-termination_incomplete-springer.pdf +
, 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/Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps +
, http://termination-portal.org +
, https://www.cs.bu.edu/~hwxi/academic/papers/rta98.pdf +
, https://www.lri.fr/~marche/marche07rta.pdf +
, http://www.imada.sdu.dk/~petersk/papers/RTA04-aprove-tool.pdf +
, http://lists.lri.fr/mailman/listinfo/termtools +
|
| http://dbpedia.org/ontology/wikiPageID
|
6782658
|
| http://dbpedia.org/ontology/wikiPageLength
|
16009
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1092119798
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Counter_%28digital%29 +
, http://dbpedia.org/resource/Hans_Zantema +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Collatz_conjecture +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Total_correctness +
, http://dbpedia.org/resource/Mercury_%28programming_language%29 +
, http://dbpedia.org/resource/Recursion_%28computer_science%29 +
, http://dbpedia.org/resource/Formal_verification +
, http://dbpedia.org/resource/Arithmetic_overflow +
, http://dbpedia.org/resource/Agda_%28programming_language%29 +
, http://dbpedia.org/resource/Pathological_%28mathematics%29 +
, http://dbpedia.org/resource/Recursion_termination +
, http://dbpedia.org/resource/Arithmetical_hierarchy +
, http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/Coq +
, http://dbpedia.org/resource/Dependently_typed +
, http://dbpedia.org/resource/Program_loop +
, http://dbpedia.org/resource/Factorial +
, http://dbpedia.org/resource/Data_processing +
, http://dbpedia.org/resource/Undecidable_problem +
, http://dbpedia.org/resource/Computer_program +
, http://dbpedia.org/resource/Well-founded_relation +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Loop_variant +
, http://dbpedia.org/resource/Complexity_analysis +
, http://dbpedia.org/resource/Logic_for_Programming%2C_Artificial_Intelligence_and_Reasoning +
, http://dbpedia.org/resource/Decidability_%28logic%29 +
, http://dbpedia.org/resource/Prolog +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Program_analysis +
, http://dbpedia.org/resource/Walther_recursion +
, http://dbpedia.org/resource/Total_functional_programming +
, http://dbpedia.org/resource/Exception_handling +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Infinite_descending_chains +
, http://dbpedia.org/resource/Rewriting_Techniques_and_Applications +
, http://dbpedia.org/resource/Category:Static_program_analysis +
, http://dbpedia.org/resource/Function_argument +
, http://dbpedia.org/resource/Curry-Howard_isomorphism +
, http://dbpedia.org/resource/Artificial_Intelligence_%28journal%29 +
, http://dbpedia.org/resource/Well-ordering_property +
, http://dbpedia.org/resource/Conference_on_Automated_Deduction +
, http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Pseudocode +
, http://dbpedia.org/resource/Haskell_%28programming_language%29 +
, http://dbpedia.org/resource/Return_value +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Total_Turing_machine +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Cite_journal +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Static_program_analysis +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Analysis +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Termination_analysis?oldid=1092119798&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Termination_analysis +
|
| owl:sameAs |
http://fr.dbpedia.org/resource/Terminaison_d%27un_algorithme +
, http://www.wikidata.org/entity/Q7702793 +
, http://dbpedia.org/resource/Termination_analysis +
, http://rdf.freebase.com/ns/m.0gnnh0 +
, https://global.dbpedia.org/id/4vTRW +
|
| rdf:type |
http://dbpedia.org/ontology/Work +
|
| rdfs:comment |
La terminaison est une propriété fondament … La terminaison est une propriété fondamentale des algorithmes. Elle stipule que les calculs décrits par l'algorithme s'arrêteront. En général cet arrêt doit avoir lieu quelles que soient les données initiales que l'on fournit à l'algorithme. Si l'on veut insister sur ce point on parle alors souvent de terminaison uniforme, mais le plus généralement « terminaison » couvre aussi bien l'arrêt sur une donnée que l'arrêt sur toutes les données et c'est le contexte qui décide. La terminaison forme avec la correction partielle un des aspects de la correction des algorithmes, la correction partielle et la terminaison forment ce que l'on appelle la correction totale. ce que l'on appelle la correction totale.
, In computer science, termination analysis … In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for each input. This means to determine whether the input program computes a total function. Now as the question whether a computable function is total is not semi-decidable, each sound termination analyzer (i.e. an affirmative answer is never given for a non-terminating program) is incomplete, i.e. must fail in determining termination for infinitely many terminating programs, either by running forever or halting with an indefinite answer.ever or halting with an indefinite answer.
|
| rdfs:label |
Termination analysis
, Terminaison d'un algorithme
|
