Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended
  Version)   Interprocedural flow analysis can be used to eliminate otherwise unnecessary
heap allocated objects (unboxing), and in previous work we have shown how to do
so while maintaining correctness with respect to the garbage collector. In this
paper, we extend the notion of flow analysis to incorporate types, enabling
analysis and optimization of typed programs. We apply this typed analysis to
specify a type preserving interprocedural unboxing optimization, and prove that
the optimization preserves both type and GC safety along with program
semantics. We also show that the unboxing optimization can be applied
independently to separately compiled program modules, and prove via a
contextual equivalence result that unboxing a module in isolation preserves
program semantics.

20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph