Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: So You Want to Analyze Scheme Programs With Datalog?   Static analysis approximates the results of a program by examining only its
syntax. For example, control-flow analysis (CFA) determines which syntactic
lambdas (for functional languages) or (for object-oriented) methods may be
invoked at each call site within a program. Rich theoretical results exist
studying control flow analysis for Scheme-like languages, but implementations
are often complex and specialized. By contrast, object-oriented languages (Java
in particular) enjoy high-precision control-flow analyses that scale to
thousands (or more) of lines of code. State-of-the-art implementations (such as
DOOP on Souffl\'e) structure the analysis using Horn-SAT (Datalog) to enable
compilation of the analysis to efficient implementations such as
high-performance relational algebra kernels. In this paper, we present an
implementation of control-flow analysis for a significant subset of Scheme
(including set!, call/cc, and primitive operations) using the Souffl\'e Datalog
engine. We present an evaluation on a worst-case term demonstrating the
polynomial complexity of our m-CFA and remark upon scalability results using
Souffl\'e.

9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
27
The categories of this paper are: comp-gas
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat