Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: An Abstract Semantics for Inference of Types and Effects in a Multi-Tier
  Web Language   Types-and-effects are type systems, which allow one to express general
semantic properties and to statically reason about program's execution. They
have been widely exploited to specify static analyses, for example to track
computational side effects, exceptions and communications in concurrent
programs. In this paper we adopt abstract interpretation techniques to
reconstruct (following the Cousot's methodology) a types-and-effects system
developed to handle security problems of a multi-tier web language. Our
reconstruction allows us to show that this types-and-effects system is not
sound with respect to the semantics of the language. In addition, we correct
the soundness issues in the analysis and systematically construct a correct
analyser.

10
The categories of this paper are: q-bio
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
37
The categories of this paper are: supr-con
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
0
The categories of this paper are: hep-ph