Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Transformational Approach to Resource Analysis with Typed-norms
  Inference   In order to automatically infer the resource consumption of programs,
analyzers track how data sizes change along program's execution. Typically,
analyzers measure the sizes of data by applying norms which are mappings from
data to natural numbers that represent the sizes of the corresponding data.
When norms are defined by taking type information into account, they are named
typed-norms. This article presents a transformational approach to resource
analysis with typed-norms that are inferred by a data-flow analysis. The
analysis is based on a transformation of the program into an intermediate
abstract program in which each variable is abstracted with respect to all
considered norms which are valid for its type. We also present the data-flow
analysis to automatically infer the required, useful, typed-norms from
programs. Our analysis is formalized on a simple rule-based representation to
which programs written in different programming paradigms (e.g., functional,
logic, imperative) can be automatically translated. Experimental results on
standard benchmarks used by other type-based analyzers show that our approach
is both efficient and accurate in practice.
  Under consideration in Theory and Practice of Logic Programming (TPLP).

26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
2
The categories of this paper are: math
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
18
The categories of this paper are: econ
17
The categories of this paper are: q-fin