Login / Signup

Inferring Complexity Bounds from Recurrence Relations.

Didier Ishimwe
Published in: ESEC/SIGSOFT FSE (2023)
Keyphrases
  • complexity bounds
  • worst case
  • constraint networks
  • special case
  • query containment
  • metadata
  • response time
  • constraint satisfaction problems
  • inference rules
  • theorem prover