Uncurrying for Termination and Complexity.

Nao Hirokawa Aart Middeldorp Harald Zankl

Published in: J. Autom. Reason. (2013)

Keyphrases

computational complexity
computational cost
worst case
real world
web services
search algorithm
relational databases
space complexity