Resource Aware ML
  • About
  • Web Interface
  • Publications
  • Source Code

Posts in "Release"

  • RaML 1.5 Release - June 14, 2020
  • RaML 1.4 Release - December 19, 2018
  • RaML 1.3 Release - September 26, 2017
  • RaML 1.1 Release - November 5, 2016
  • RaML 1.0 Release - September 12, 2015

Resource Aware ML

Site Map

  • About
  • Web Interface
  • Publications
  • Source Code

Contact

  • jhoffmann@cmu.edu
  • hoffjan
  • hoffjan

Subscribe via RSS

Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs.