Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
rbound [2014/03/25 17:58]
ravi
rbound [2014/05/16 18:38] (current)
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]].
 
rbound.txt · Last modified: 2014/05/16 18:38 by ravi
 
© EPFL 2018 - Legal notice