Contract-Based Resource Verification for Higher-order Functions with Memoization

Citation

Ravichandhran Madhavan, Sumith Kulal, and Viktor Kuncak. Contract-based resource verification for higher-order functions with memoization. In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 2017.

BibTex Entry

@inproceedings{MadhavanKuncak17Memoization,
  author = {Ravichandhran Madhavan and Sumith Kulal and Viktor Kuncak},
  title = {Contract-Based Resource Verification for Higher-order Functions with Memoization},
  booktitle = {ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  year = 2017
}