[ list |
abstracts |
bib ]
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{MadhavanKuncak16Memoization,
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
}
[ list |
abstracts |
bib ]