Login / Signup
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs.
Didier Ishimwe
ThanhVu Nguyen
KimHao Nguyen
Published in:
ICSE-Companion (2022)
Keyphrases
</>
sliding window
recursive programs
worst case
program synthesis
logic programs
transformation rules
multi dimensional
index structure