Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Optimizing Abstract Abstract Machines   The technique of abstracting abstract machines (AAM) provides a systematic
approach for deriving computable approximations of evaluators that are easily
proved sound. This article contributes a complementary step-by-step process for
subsequently going from a naive analyzer derived under the AAM approach, to an
efficient and correct implementation. The end result of the process is a two to
three order-of-magnitude improvement over the systematically derived analyzer,
making it competitive with hand-optimized implementations that compute
fundamentally less precise results.

2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg