Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Local Modules in Imperative Languages   We propose a notion of local modules for imperative langauges. To be
specific, we introduce a new implication statement of the form $D \supset G$
where $D$ is a module (i.e., a set of procedure declarations) and $G$ is a
statement. This statement tells the machine to add $D$ to the program in the
course of executing $G$. Thus, $D$ acts as a local module and will be discarded
after executing $G$. It therefore provides efficient module management. We
illustrate our idea via C^{mod}, an extension of the core C with the new
statement. In addition, we describe a new constructive module language to
improve code reuse. Finally, we describe a scheme which considerably improves
the heap management in traditional languages.

24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
4
The categories of this paper are: cond-mat
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas