Range Allocation for Separation Logic.

Muralidhar Talupur Nishant Sinha Ofer Strichman Amir Pnueli

Published in: CAV (2004)

Keyphrases

wide range
resource allocation
data mining
modal logic
databases
range data
probabilistic logic
classical logic
genetic algorithm
special case
expressive power
optimal allocation
allocation scheme