Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Characterizing Minimal Semantics-preserving Slices of predicate-linear,
  Free, Liberal Program Schemas   A program schema defines a class of programs, all of which have identical
statement structure, but whose functions and predicates may differ. A schema
thus defines an entire class of programs according to how its symbols are
interpreted. A subschema of a schema is obtained from a schema by deleting some
of its statements. We prove that given a schema $S$ which is predicate-linear,
free and liberal, such that the true and false parts of every if predicate
satisfy a simple additional condition, and a slicing criterion defined by the
final value of a given variable after execution of any program defined by $S$,
the minimal subschema of $S$ which respects this slicing criterion contains all
the function and predicate symbols `needed' by the variable according to the
data dependence and control dependence relations used in program slicing, which
is the symbol set given by Weiser's static slicing algorithm. Thus this
algorithm gives predicate-minimal slices for classes of programs represented by
schemas satisfying our set of conditions. We also give an example to show that
the corresponding result with respect to the slicing criterion defined by
termination behaviour is incorrect. This complements a result by the authors in
which $S$ was required to be function-linear, instead of predicate-linear.

19
The categories of this paper are: eess
0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
2
The categories of this paper are: math
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex