Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Resource Usage Analysis for the Pi-Calculus   We propose a type-based resource usage analysis for the &#960;-calculus
extended with resource creation/access primitives. The goal of the resource
usage analysis is to statically check that a program accesses resources such as
files and memory in a valid manner. Our type system is an extension of previous
behavioral type systems for the &#960;-calculus, and can guarantee the safety
property that no invalid access is performed, as well as the property that
necessary accesses (such as the close operation for a file) are eventually
performed unless the program diverges. A sound type inference algorithm for the
type system is also developed to free the programmer from the burden of writing
complex type annotations. Based on the algorithm, we have implemented a
prototype resource usage analyzer for the &#960;-calculus. To the authors'
knowledge, ours is the first type-based resource usage analysis that deals with
an expressive concurrent language like the pi-calculus.

13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph