list | abstracts | bib ]

Symbolic Resource Bound Inference for Functional Programs

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

list | abstracts | bib ]