@misc{indiciaef2f2a4429e1b,
  title = {A General Framework for Static Profiling of Parametric Resource Usage},
  author = {Pedro Lopez-Garcia and Maximiliano Klemen and Umer Liqat and Manuel V. Hermenegildo},
  year = {2016},
  url = {https://arxiv.org/abs/1608.02780},
  note = {Source identifier: 1608.02780}
}