Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
smartfloat [2012/12/04 14:52] evka |
smartfloat [2012/12/04 14:55] evka |
||
|---|---|---|---|
| Line 38: | Line 38: | ||
| The implementation uses Scala macros, which is an experimental feature coming in Scala 2.10. | The implementation uses Scala macros, which is an experimental feature coming in Scala 2.10. | ||
| For this reason this [[http://lara.epfl.ch/~darulova/cerres.zip|code]] is to be regarded as experimental as well, but you are free to try it out. | For this reason this [[http://lara.epfl.ch/~darulova/cerres.zip|code]] is to be regarded as experimental as well, but you are free to try it out. | ||
| + | |||
| ==== Publications ==== | ==== Publications ==== | ||
| - | The library is mainly described in the following paper: | ||
| E. Darulova, V. Kuncak. //Trustworthy Numerical Computation in Scala//. OOPSLA 2011. | E. Darulova, V. Kuncak. //Trustworthy Numerical Computation in Scala//. OOPSLA 2011. | ||
| [[http://lara.epfl.ch/~darulova/TrustworthyComputation.pdf|PDF]] | [[http://lara.epfl.ch/~darulova/TrustworthyComputation.pdf|PDF]] | ||
| + | |||
| + | E. Darulova, V. Kuncak. //Certifying Solutions for Numerical Constraints// RV 2012. | ||
| + | [[http://lara.epfl.ch/~darulova/CertifyingSolutions.pdf|PDF]] | ||
| The SmartFloat library is maintained by [[http://people.epfl.ch/eva.darulova|Eva Darulova]]. | The SmartFloat library is maintained by [[http://people.epfl.ch/eva.darulova|Eva Darulova]]. | ||