Variables as Resource in Hoare Logics.
Matthew J. ParkinsonRichard BornatCristiano CalcagnoPublished in: LICS (2006)
Keyphrases
- modal logic
- expressive power
- variable selection
- propositional variables
- inference rules
- resource allocation
- high dimensional
- relevant variables
- higher order
- resource management
- objective function
- nonmonotonic reasoning
- structural model
- resource consumption
- nonmonotonic logics
- conditional logic
- epistemic logic
- expert systems