Ravichandhran Madhavan and Viktor Kuncak. Symbolic resource bound inference for functional programs. In Computer Aided Verification (CAV), 2014.

bib ] Back