list | abstracts | bib ]

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

paper pdf   

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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/MadhavanKuncak17Memoization.pdf}
}

list | abstracts | bib ]