Computer Science – Programming Languages
Scientific paper
2006-08-07
LMCS 2 (3:4) 2006
Computer Science
Programming Languages
Scientific paper
10.2168/LMCS-2(3:4)2006
We propose a type-based resource usage analysis for the π-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 π-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 π-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.
Kobayashi Naoki
Suenaga Kohei
Wischik Lucian
No associations
LandOfFree
Resource Usage Analysis for the Pi-Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Resource Usage Analysis for the Pi-Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Resource Usage Analysis for the Pi-Calculus will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-600826