Variables as Resource in Separation Logic.
Richard BornatCristiano CalcagnoHongseok YangPublished in: MFPS (2005)
Keyphrases
- resource allocation
- nonmonotonic logics
- classical logic
- modal logic
- multi valued
- propositional variables
- logical formulas
- asynchronous circuits
- truth values
- predicate logic
- logic programming
- variable selection
- partial order
- real numbers
- database
- real time
- relevant variables
- neural network
- random variables
- digital circuits
- resource consumption
- computational properties
- conditional probabilities
- logical framework
- resource management
- automated reasoning
- web resources