Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
research:software:gradualtalk:strategies [2013/06/11 05:12] – eallende | research:software:gradualtalk:strategies [2013/06/11 17:55] (current) – jfabry | ||
---|---|---|---|
Line 2: | Line 2: | ||
The benchmarks used in the paper "Cast Insertion Strategies for Gradually-Typed Objects" | The benchmarks used in the paper "Cast Insertion Strategies for Gradually-Typed Objects" | ||
- | {{research: | + | {{research: |
- | For instructions on how to use these benchmarks, read the included readme.txt. | + | For instructions on how to use these benchmarks, |
+ | |||
+ | The benchmark suite is ready to run in a Linux machine. To run in another OS, the corresponding [[http:// | ||
- | The benchmark suit is ready to run in a Linux machine. To run in other OS, you need to download the corresponding [[http:// | ||