Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Pointer Data Structure Synthesis from Answer Set Programming
  Specifications   We develop an inductive proof-technique to generate imperative programs for
pointer data structures from behavioural specifications expressed in the Answer
Set Programming (ASP) formalism. ASP is a non-monotonic logic based formalism
that employs negation-as-failure which helps emulate the human thought process,
allowing domain experts to model desired system behaviour succinctly. We argue
in this paper that ASP's reliance on negation-as-failure makes it a better
formalism than those based on first-order logic for writing formal
specifications. We assume the a domain expert provides the representation of
inductively defined data structures along with a specification of its
operations. Our procedures combined with our novel proof-technique reason over
the specifications and automatically generate an imperative program. Our
proof-technique leverages the idea of partial deduction to simplify logical
specifications. By algebraically simplifying logical specifications we arrive
at a residual specification which can be interpreted as an appropriate
imperative program. This work is in the realm of constructing programs that are
correct according to a given specification.

37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
18
The categories of this paper are: econ
29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
22
The categories of this paper are: chao-dyn