Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
rbound [2014/03/25 17:55] 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 approach used by 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]]. |
For more information, please contact: | For more information, please contact: | ||
* [[http://lara.epfl.ch/~kandhada|Ravi]] | * [[http://lara.epfl.ch/~kandhada|Ravi]] | ||
* [[http://lara.epfl.ch/~kuncak/|Viktor]] | * [[http://lara.epfl.ch/~kuncak/|Viktor]] |