Symbolic Resource Bound Inference for Functional Programs

paper ps   

Citation

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

BibTex Entry

@inproceedings{MadhavanKuncak14SymbolicResourceBoundInferenceFunctionalPrograms,
  author = {Ravichandhran Madhavan and Viktor Kuncak},
  title = {Symbolic Resource Bound Inference for Functional Programs},
  booktitle = {Computer Aided Verification (CAV)},
  year = 2014
}