Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
research:software:gradualtalk:strategies [2013/06/04 19:20] – created etanter | research:software:gradualtalk:strategies [2013/06/11 17:55] (current) – jfabry | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Cast Insertion Strategies: Benchmarks ====== | ====== Cast Insertion Strategies: Benchmarks ====== | ||
- | blablah | + | The benchmarks used in the paper "Cast Insertion Strategies for Gradually-Typed Objects" |
+ | {{research: | ||
+ | |||
+ | For instructions on how to use these benchmarks, please read the included '' | ||
+ | |||
+ | The benchmark suite is ready to run in a Linux machine. To run in another OS, the corresponding [[http:// | ||
+ | |||
+ | |||
+ |