Divergence (computer science)

Known as: Diverging computation, Non-termination, Non-terminating computation 
In computer science, a computation is said to diverge if it does not terminate or terminates in an (unobservable) exceptional state. Otherwise it is… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
We revisit the standard chase procedure, studying its properties and applicability to classical database problems. We settle (in… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
When a job-seeker and an employer meet, find a prospective joint surplus, and bargain over the wage, conditions in the outside… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
A classic problem in security is to determine whether a program has secure information flow . Informally, this problem is… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Automata on infinite words are used for specification and verification of nonterminating programs. Different types of automata… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Kernel-LEAF is a logic plus functional language based on the flattening technique. It differs from other similar languages… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
The "stubborn set" theory and method for generating reduced state spaces is presented. The theory takes advantage of concurrency… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
In this paper we advance the radical notion that a computational model based on the <i>reals</i> provides a more abstract… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
The consensus problem involves an asynchronous system of processes, some of which may be unreliable. The problem is for the… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
Hom clauses of first-order predicate logic can be regarded as a high-level programming language when SLD-resolution, a special… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1981
Highly Cited
1981
As this paper puts forward the notion of “Oblivious Transfers” and is a well-known and frequently cited paper, I felt I should… (More)
Is this relevant?