Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Offline Specialisation in Prolog Using a Hand-Written Compiler Generator   The so called ``cogen approach'' to program specialisation, writing a
compiler generator instead of a specialiser, has been used with considerable
success in partial evaluation of both functional and imperative languages. This
paper demonstrates that the cogen approach is also applicable to the
specialisation of logic programs (also called partial deduction) and leads to
effective specialisers. Moreover, using good binding-time annotations, the
speed-ups of the specialised programs are comparable to the speed-ups obtained
with online specialisers. The paper first develops a generic approach to
offline partial deduction and then a specific offline partial deduction method,
leading to the offline system LIX for pure logic programs. While this is a
usable specialiser by itself, it is used to develop the cogen system LOGEN.
Given a program, a specification of what inputs will be static, and an
annotation specifying which calls should be unfolded, LOGEN generates a
specialised specialiser for the program at hand. Running this specialiser with
particular values for the static inputs results in the specialised program.
While this requires two steps instead of one, the efficiency of the
specialisation process is improved in situations where the same program is
specialised multiple times. The paper also presents and evaluates an automatic
binding-time analysis that is able to derive the annotations. While the derived
annotations are still suboptimal compared to hand-crafted ones, they enable
non-expert users to use the LOGEN system in a fully automated way. Finally,
LOGEN is extended so as to directly support a large part of Prolog's
declarative and non-declarative features and so as to be able to perform so
called mixline specialisations.

5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th