Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Divergence_(computer_science)> ?p ?o }
Showing triples 1 to 57 of
57
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_system.
- 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 Denotational_semantics.
- Divergence_(computer_science) wikiPageWikiLink Exceptional_state.
- 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_calculus.
- Divergence_(computer_science) wikiPageWikiLink Productivity_(computer_science).
- 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 "divergence".
- Divergence_(computer_science) wikiPageWikiLinkText "diverges".
- Divergence_(computer_science) wikiPageWikiLinkText "diverging".
- Divergence_(computer_science) wikiPageWikiLinkText "termination".
- Divergence_(computer_science) wikiPageUsesTemplate Template:!.
- 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) type Area.
- Divergence_(computer_science) type Language.
- Divergence_(computer_science) type Model.
- Divergence_(computer_science) type Area.
- Divergence_(computer_science) type Language.
- Divergence_(computer_science) type Model.
- 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 Q5283898.
- Divergence_(computer_science) sameAs m.04zx3jf.
- Divergence_(computer_science) sameAs Q5283898.
- Divergence_(computer_science) wasDerivedFrom Divergence_(computer_science)?oldid=611661575.
- Divergence_(computer_science) isPrimaryTopicOf Divergence_(computer_science).