Description

This artifact provides an implementation of a novel resource-parametric type-guided worst-case input generation algorithm for a purely functional fragment of Resource Aware ML (RaML), a tool that automatically and statically computes resource-use bounds for OCaml programs.

Assets

Provenance

This artifact is part of the Resource Aware ML (RaML) project.