Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
rbound [2014/03/25 17:58] ravi |
rbound [2014/05/16 18:38] ravi |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Orb: Resource Bound Inference for Functional Programs ====== | ====== 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 [[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]]. |