Resource Aware ML

  • Jan Hoffmann
  • Klaus Aehlig
  • Martin Hofmann
Conference paper

DOI: 10.1007/978-3-642-31424-7_64

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7358)
Cite this paper as:
Hoffmann J., Aehlig K., Hofmann M. (2012) Resource Aware ML. In: Madhusudan P., Seshia S.A. (eds) Computer Aided Verification. CAV 2012. Lecture Notes in Computer Science, vol 7358. Springer, Berlin, Heidelberg

Abstract

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 practical aspects of the implementation. We describe the syntax of RAML, the code transformation prior to the analysis, the web interface, the output of the analysis, and the results of our experiments with the analysis of example programs.

Keywords

Functional Programming Static Analysis Resource Consumption Quantitative Analysis Amortized Analysis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jan Hoffmann
    • 1
  • Klaus Aehlig
    • 2
  • Martin Hofmann
    • 2
  1. 1.Yale UniversityUSA
  2. 2.Ludwig-Maximilians-Universität MünchenGermany

Personalised recommendations