Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951813 | Science of Computer Programming | 2017 | 31 Pages |
Abstract
We present a methodology to reason about resource usage (acquisition, release, revision, and so on) and, in particular, to predict bad usage of resources. Keeping in mind the interplay between local and global information that occur in application-resource interactions, we model resources as entities with local policies and we study global properties that govern overall interactions. Formally, our model is an extension of Ï-calculus with primitives to manage resources. To predict possible bad usage of resources, we develop a Control Flow Analysis that computes a static over-approximation of process behaviour.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari,