Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Specialization of a Program Model of Naive Pattern Matching in
  Strings (Extended Abstract)   We have proved that for any pattern p the tail recursive program model of
naive pattern matching may be automatically specialized w.r.t. the pattern p to
a specialized version of the so-called KMP-algorithm, using the Higman-Kruskal
relation that controls the unfolding/folding. Given an input string, the
corresponding residual program finds the first occurrence of p in the string in
linear time on the string length. The current state of the automated program
specialization art based on unfolding/folding is too weak in order to be able
to reproduce the proof, done by hands, of the uniform property above, while it
known before that program specialization is sometimes able to produce the
KMP-algorithm for a few concrete static patterns.

28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex