Resource Conscious Semantics.

The study of resources in semantics goes back at least to Girard's introduction of linear logic as a resource conscious logic in 1987. A substantial amount of work has been done in semantics which is concerned with the usage of memory (heap allocation, garbages collection, shape analysis); recent research in this area include for example work on separation logics [57] and on access control in distributed computing, e.g. [47]. Most of these approaches are essentially qualitative and much less work seems to have been concentrating on a quantitative approach, e.g. [62,46].