About: Divergence (computer science)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Divergence (computer science) Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In computer science, a computation is said to diverge if it does not terminate or terminates in an 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 (i.e. to continue producing an action within a finite amount of time).

Attributes	Values
rdfs:label	Divergence (computer science) (en)
rdfs:comment	In computer science, a computation is said to diverge if it does not terminate or terminates in an 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 (i.e. to continue producing an action within a finite amount of time). (en)
sameAs	Divergence (computer science) Divergence (computer science)
dbp:wikiPageUsesTemplate	dbt:! dbt:Cite_book dbt:Comp-sci-stub dbt:Redirect dbt:Reflist dbt:Rp dbt:Sfn
Subject	Denotational semantics Process (computing) Programming language theory Rewriting systems Lambda calculus
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Divergence_(computer_science)?oldid=1028739961&ns=0
Wikipage page ID	20271419 (xsd:integer)
page length (characters) of wiki page	3874 (xsd:nonNegativeInteger)
Wikipage revision ID	1028739961 (xsd:integer)
Link from a Wikipage to another Wikipage	Greatest element and least element Normal form (abstract rewriting) Process calculus Abstract rewriting system State (computer science) Denotational semantics Process (computing) Programming language theory Rewriting systems Lambda calculus Denotational semantics Termination analysis Communicating sequential processes Computer science Confluence (abstract rewriting) Parameter (computer programming) Function (mathematics) Infinite loop Lambda calculus Subroutine
has abstract	In computer science, a computation is said to diverge if it does not terminate or terminates in an 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 (i.e. to continue producing an action within a finite amount of time). (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Divergence_(computer_science)
is Wikipage redirect of	Non-terminating Non-terminating computation Non-termination Non terminating Non terminating computation Non termination Nonterminating Nontermination Terminating Terminating computation Termination (computer science) Not-terminating computation Convergence (computer science) Convergent (computer science) Diverging computation
is Link from a Wikipage to another Wikipage of	Algebraic semantics (computer science) Algorithmic program debugging Non-terminating Non-terminating computation Non-termination Non terminating Non terminating computation Non termination Nonterminating Nontermination Divergence (disambiguation) Off-peak return Communicating sequential processes Ehud Shapiro Function type Execution (computing) Infinite loop LOOP (programming language) Not-terminating computation Convergence (computer science) Convergent (computer science) Diverging computation
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Divergence_(computer_science)

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software