Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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