Non-polynomial Worst-Case Analysis of Recursive Programs.

Krishnendu Chatterjee Hongfei Fu Amir Kafshdar Goharshady

Published in: ACM Trans. Program. Lang. Syst. (2019)

Keyphrases

worst case analysis
recursive programs
program synthesis
average case
logic programs
transformation rules
worst case
np hardness
greedy heuristic
upper bound
background knowledge
lower bound
linear programming relaxation
metamodel
approximation algorithms
linear programming
np hard