Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Unfolding Semantics of Functional Programs   The idea of using unfolding as a way of computing a program semantics has
been applied successfully to logic programs and has shown itself a powerful
tool that provides concrete, implementable results, as its outcome is actually
source code. Thus, it can be used for characterizing not-so-declarative
constructs in mostly declarative languages, or for static analysis. However,
unfolding-based semantics has not yet been applied to higher-order, lazy
functional programs, perhaps because some functional features absent in logic
programs make the correspondence between execution and unfolding not as
straightforward. This work presents an unfolding semantics for higher-order,
lazy functional programs and proves its adequacy with respect to a given
operational semantics. Finally, we introduce some applications of our
semantics.

9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
21
The categories of this paper are: adap-org