Login / Signup

Static Performance Guarantees for Programs with Runtime Checks.

Maximiliano KlemenNataliia StulovaPedro López-GarcíaJosé F. MoralesManuel V. Hermenegildo
Published in: PPDP (2018)
Keyphrases
  • databases
  • computer programs
  • database
  • real time
  • real world
  • information systems
  • web services
  • evolutionary algorithm
  • np hard
  • deductive databases
  • theoretical guarantees
  • intermediate level
  • dynamic analysis