Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Divergence_(computer_science)> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- Divergence_(computer_science) abstract "In computer science, a computation is said to diverge if it does not terminate or terminates in an (unobservable) exceptional state. Otherwise it is said to converge. In domains where computations are expected to be infinite, such as process calculi, a computation is said to diverge if it fails to be productive (always produces an action within a finite amount of time.)".
- Divergence_(computer_science) wikiPageID "20271419".
- Divergence_(computer_science) wikiPageLength "3357".
- Divergence_(computer_science) wikiPageOutDegree "26".
- Divergence_(computer_science) wikiPageRevisionID "611661575".
- Divergence_(computer_science) wikiPageWikiLink Abstract_rewriting.
- Divergence_(computer_science) wikiPageWikiLink Abstract_rewriting_system.
- Divergence_(computer_science) wikiPageWikiLink Argument_(computer_science).
- Divergence_(computer_science) wikiPageWikiLink Bottom_element.
- Divergence_(computer_science) wikiPageWikiLink Category:Denotational_semantics.
- Divergence_(computer_science) wikiPageWikiLink Category:Lambda_calculus.
- Divergence_(computer_science) wikiPageWikiLink Category:Process_(computing).
- Divergence_(computer_science) wikiPageWikiLink Category:Programming_language_theory.
- Divergence_(computer_science) wikiPageWikiLink Category:Rewriting_systems.
- Divergence_(computer_science) wikiPageWikiLink Communicating_sequential_processes.
- Divergence_(computer_science) wikiPageWikiLink Computer_science.
- Divergence_(computer_science) wikiPageWikiLink Confluence_(abstract_rewriting).
- Divergence_(computer_science) wikiPageWikiLink Confluent_(abstract_rewriting).
- Divergence_(computer_science) wikiPageWikiLink Denotational_semantics.
- Divergence_(computer_science) wikiPageWikiLink Exceptional_state.
- Divergence_(computer_science) wikiPageWikiLink Function_(computer_science).
- Divergence_(computer_science) wikiPageWikiLink Function_(mathematics).
- Divergence_(computer_science) wikiPageWikiLink Greatest_element.
- Divergence_(computer_science) wikiPageWikiLink Infinite_loop.
- Divergence_(computer_science) wikiPageWikiLink Lambda_calculus.
- Divergence_(computer_science) wikiPageWikiLink Normal_form_(abstract_rewriting).
- Divergence_(computer_science) wikiPageWikiLink Parameter_(computer_programming).
- Divergence_(computer_science) wikiPageWikiLink Process_calculi.
- Divergence_(computer_science) wikiPageWikiLink Process_calculus.
- Divergence_(computer_science) wikiPageWikiLink Productivity_(computer_science).
- Divergence_(computer_science) wikiPageWikiLink Reduction_(abstract_rewriting).
- Divergence_(computer_science) wikiPageWikiLink Reduction_(mathematics).
- Divergence_(computer_science) wikiPageWikiLink Subroutine.
- Divergence_(computer_science) wikiPageWikiLink Term_Rewriting_and_All_That.
- Divergence_(computer_science) wikiPageWikiLink Types_and_Programming_Languages.
- Divergence_(computer_science) wikiPageWikiLinkText "Divergence (computer science)".
- Divergence_(computer_science) wikiPageWikiLinkText "diverge".
- Divergence_(computer_science) wikiPageWikiLinkText "divergence".
- Divergence_(computer_science) wikiPageWikiLinkText "diverges".
- Divergence_(computer_science) wikiPageWikiLinkText "diverging".
- Divergence_(computer_science) wikiPageWikiLinkText "termination".
- Divergence_(computer_science) hasPhotoCollection Divergence_(computer_science).
- Divergence_(computer_science) wikiPageUsesTemplate Template:Cite_book.
- Divergence_(computer_science) wikiPageUsesTemplate Template:Comp-sci-stub.
- Divergence_(computer_science) wikiPageUsesTemplate Template:Redirect.
- Divergence_(computer_science) wikiPageUsesTemplate Template:Reflist.
- Divergence_(computer_science) wikiPageUsesTemplate Template:Sfn.
- Divergence_(computer_science) subject Category:Denotational_semantics.
- Divergence_(computer_science) subject Category:Lambda_calculus.
- Divergence_(computer_science) subject Category:Process_(computing).
- Divergence_(computer_science) subject Category:Programming_language_theory.
- Divergence_(computer_science) subject Category:Rewriting_systems.
- Divergence_(computer_science) comment "In computer science, a computation is said to diverge if it does not terminate or terminates in an (unobservable) exceptional state. Otherwise it is said to converge. In domains where computations are expected to be infinite, such as process calculi, a computation is said to diverge if it fails to be productive (always produces an action within a finite amount of time.)".
- Divergence_(computer_science) label "Divergence (computer science)".
- Divergence_(computer_science) sameAs m.04zx3jf.
- Divergence_(computer_science) sameAs Q5283898.
- Divergence_(computer_science) sameAs Q5283898.
- Divergence_(computer_science) wasDerivedFrom Divergence_(computer_science)?oldid=611661575.
- Divergence_(computer_science) isPrimaryTopicOf Divergence_(computer_science).