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 [[http://​lara.epfl.ch/​~kandhada/​rbounds/​orb-releases/​orb-1.1.tar.gz|here]].

+

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 [[http://​lara.epfl.ch/​~kandhada/​rbounds/​orb-releases/​orb-1.2.tar.gz|here]].

Earlier versions of Orb can be found at [[http://​lara.epfl.ch/​~kandhada/​rbounds/​orb-releases|archives]].

Earlier versions of Orb can be found at [[http://​lara.epfl.ch/​~kandhada/​rbounds/​orb-releases|archives]].

-

Orb requires a 64bit linux operating system and Java runtime environment. ​ Some examples the tool can handle can be found here: [[http://​lara.epfl.ch/​~kandhada/​rbounds/​examples.tar.gz|examples]]. ​

+

Orb requires a 64bit linux operating system and Java runtime environment. ​ Some examples the tool can handle can be found here: [[http://​lara.epfl.ch/​~kandhada/​rbounds/​examples-1.2.tar.gz|examples]]. ​

A technical report on the algorithm implemented in Orb: [[http://​lara.epfl.ch/​~kandhada/​rbounds/​orb.pdf|Symbolic Resource Bound Inference]].

A technical report on the algorithm implemented in Orb: [[http://​lara.epfl.ch/​~kandhada/​rbounds/​orb.pdf|Symbolic Resource Bound Inference]].