Tight Polynomial Worst-Case Bounds for Loop Programs.

Amir M. Ben-Amram Geoff W. Hamilton

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

worst case bounds
worst case
upper bound
lower bound
automatic programming
computer programs
loop formulas
high order
control program
low order
programming environment
answer sets
real time
higher order
information technology
decision trees
computer vision
machine learning