Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Positive Supercompilation for a Higher-Order Call-By-Value Language   Previous deforestation and supercompilation algorithms may introduce
accidental termination when applied to call-by-value programs. This hides
looping bugs from the programmer, and changes the behavior of a program
depending on whether it is optimized or not. We present a supercompilation
algorithm for a higher-order call-by-value language and prove that the
algorithm both terminates and preserves termination properties. This algorithm
utilizes strictness information to decide whether to substitute or not and
compares favorably with previous call-by-name transformations.

14
The categories of this paper are: math-ph
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex