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