Lab for Automated Reasoning and Analysis LARA

Orb: Resource Bound Inference for Functional Programs

Orb is a tool for inferring symbolic resource bounds of purely functional Scala programs that use algebraic data types, recursive functions and nonlinear operations. The latest standalone version of Orb is available here. Earlier versions of Orb can be found at archives. Orb requires a 64bit linux operating system and Java runtime environment. Some examples the tool can handle can be found here: examples.

A technical report on the algorithm implemented in Orb: Symbolic Resource Bound Inference.

For more information, please contact:

 
rbound.txt · Last modified: 2014/05/16 18:38 by ravi