Login / Signup

Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs.

Didier IshimweThanhVu NguyenKimHao Nguyen
Published in: ICSE-Companion (2022)
Keyphrases
  • sliding window
  • recursive programs
  • worst case
  • program synthesis
  • logic programs
  • transformation rules
  • multi dimensional
  • index structure