Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Liberalizing Dependency   The dependency core calculus (DCC), a simple extension of the computational
lambda calculus, captures a common notion of dependency that arises in many
programming language settings. This notion of dependency is closely related to
the notion of information flow in security; it is sensitive not only to data
dependencies that cause explicit flows, but also to control dependencies that
cause implicit flows. In this paper, we study variants of DCC in which the data
and control dependencies are decoupled. This allows us to consider settings
where a weaker notion of dependency---one that restricts only explicit
flows---may usefully coexist with DCC's stronger notion of dependency. In
particular, we show how strong, noninterference-based security may be
reconciled with weak, trace-based security within the same system, enhancing
soundness of the latter and completeness of the former.

5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
16
The categories of this paper are: stat
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph