• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Range Allocation for Separation Logic.

Muralidhar TalupurNishant SinhaOfer StrichmanAmir 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