Login / Signup

Dynaplex: analyzing program complexity using dynamically inferred recurrence relations.

Didier IshimweKimHao NguyenThanhVu Nguyen
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • computational cost
  • computational complexity
  • upper bound
  • dynamically changing
  • data sets
  • databases
  • information retrieval
  • website
  • programming language
  • static analysis