Sumith Kulal

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. as steps ≤ ? * size(l) + ? in the contracts of functions, as well as express invariants necessary for(More)
  • 1