Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Declarative Diagnosis of Floundering   Many logic programming languages have delay primitives which allow
coroutining. This introduces a class of bug symptoms -- computations can
flounder when they are intended to succeed or finitely fail. For concurrent
logic programs this is normally called deadlock. Similarly, constraint logic
programs can fail to invoke certain constraint solvers because variables are
insufficiently instantiated or constrained. Diagnosing such faults has received
relatively little attention to date. Since delay primitives affect the
procedural but not the declarative view of programs, it may be expected that
debugging would have to consider the often complex details of interleaved
execution. However, recent work on semantics has suggested an alternative
approach. In this paper we show how the declarative debugging paradigm can be
used to diagnose unexpected floundering, insulating the user from the
complexities of the execution.
  Keywords: logic programming, coroutining, delay, debugging, floundering,
deadlock, constraints

24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph