Higher-Order Complexity Analysis: Harnessing First-Order Tools.
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