Sign in

Towards Static Performance Guarantees for Programs with Run-Time Checks.

Maximiliano KlemenNataliia StulovaPedro López-GarcíaJosé F. MoralesManuel V. Hermenegildo
Published in: ICLP (Technical Communications) (2018)
Keyphrases
  • automatic programming
  • decision making
  • case study
  • database
  • real time
  • multiscale
  • user interface
  • computer programs
  • intermediate level
  • program execution
  • control structures
  • run times