Login / Signup

Inferring loop invariants of programs with polynomial post-conditions.

Mengjun Li
Published in: Internetware (2014)
Keyphrases
  • imperative programs
  • sufficient conditions
  • affine invariant
  • environmental conditions
  • database
  • expert systems
  • higher order