Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Space Improvements and Equivalences in a Functional Core Language   We explore space improvements in LRP, a polymorphically typed call-by-need
functional core language. A relaxed space measure is chosen for the maximal
size usage during an evaluation. It abstracts from the details of the
implementation via abstract machines, but it takes garbage collection into
account and thus can be seen as a realistic approximation of space usage. The
results are: a context lemma for space improving translations and for space
equivalences, all but one reduction rule of the calculus are shown to be space
improvements, and for the exceptional one we show bounds on the space increase.
Several further program transformations are shown to be space improvements or
space equivalences in particular the translation into machine expressions is a
space equivalence. We also classify certain space-worsening transformations as
space-leaks or as space-safe. These results are a step forward in making
predictions about the change in runtime space behavior of optimizing
transformations in call-by-need functional languages.

12
The categories of this paper are: nucl-th
4
The categories of this paper are: cond-mat
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom