Resource Aware ML

@inproceedings{Hoffmann2012ResourceAM,
  title={Resource Aware ML},
  author={Jan Hoffmann and Klaus Aehlig and Martin Hofmann},
  booktitle={CAV},
  year={2012}
}
The automatic determination of the quantitative resource consumption of programs is a classic research topic which has many applications in software development. Recently, we developed a novel multivariate amortized resource analysis that automatically computes polynomial resource bounds for first-order functional programs. In this tool paper, we describe Resource Aware ML (RAML), a functional programming language that implements our analysis. Other than in earlier articles, we focus on the… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS
23 Citations
14 References
Similar Papers

Similar Papers

Loading similar papers…