Search

• < Previous
• 1
• Next >

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&nbsp;[&hellip;]