Higher-Order Complexity Analysis: Harnessing First-Order Tools.
Proceedings of the 6th International Workshop on Developments in Implicit Complexity, 2015.
Abstract
In this abstract we sketch our tool Hoca.
Categories
Term Rewriting, Complexity Analysis, Runtime Complexity Analysis, Higher-Order, OCaml, Automation