Hence the linear logical consequence relation is resource-sensitive.
For example, concurrent separation logic is based on a race-detecting, resource-sensitive variant of fairmerge.
Just as climate change adaptation spurs synergies with DRR, sustainability as a goal could help design communities that persist, endure, and thrive, but are also resource-sensitive.
(The deductive formalism for) TL extends the linear connection method proposed earlier by the author by embedding the latter into classical logic, so that classical and resource-sensitive reasoning coexist within TL.
This move to a resource-sensitive logic can be obtained without sacrificing expressivity: the unary modalities '!','?' allow one to reintroduce Contraction/Weakening in a controlled form and thus to recover classical logic from within the linear setting.
If one requires structural rules to be resource-sensitive (no copying or deletion) and, for the unary modalities, non-expanding, one obtains the full expressivity of context-sensitive grammars, and the PSPACE complexity that goes with it (Moot 2002).
We show that it is possible to exploit type systems to perform distributed control flow analysis and discuss the potential applications of such analyses in promoting security of resource-sensitive systems.
Kapiriri et al suggest that resource-sensitive clinical guidelines could help physicians in LICs make difficult decisions [ 30].
Firstly, lobbying for appropriate investments and policies to facilitate their inclusion in the development and health agenda [ 14], and secondly, developing scientifically valid, culturally appropriate and resource-sensitive models incorporating and integrating the multidisciplinary range of actions relevant for NCD prevention.
Let's look at the issue of water for example, a natural resource especially sensitive to climate change, and one that traditionally women are the managers of in their households.
