Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
kaplan [2012/02/13 16:29] philippe.suter |
kaplan [2012/02/13 16:34] philippe.suter |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Kaplan ====== | ====== Kaplan ====== | ||
| + | ===== What is Kaplan? ===== | ||
| + | |||
| + | Kaplan is an extension of the Scala programming language that supports constraint-solving. Kaplan is described in the following paper: | ||
| + | |||
| + | A.S. Köksal, V. Kuncak, P. Suter, //Constraints as Control//, POPL 2012, pp. 151-164. [[http://lara.epfl.ch/~kuncak/papers/KoeksalETAL12ConstraintsControl.pdf|PDF]] | ||
| ===== Obtaining Kaplan ===== | ===== Obtaining Kaplan ===== | ||
| Line 16: | Line 21: | ||
| We provide a distribution of Kaplan for 32 bit Linux systems.((The restriction comes from the version of Z3 that is packaged with the distribution.)) You can download it [[http://lara.epfl.ch/~psuter/kaplan/kaplan.tgz|here]]. Please go through the included `README` file. | We provide a distribution of Kaplan for 32 bit Linux systems.((The restriction comes from the version of Z3 that is packaged with the distribution.)) You can download it [[http://lara.epfl.ch/~psuter/kaplan/kaplan.tgz|here]]. Please go through the included `README` file. | ||
| + | The distribution includes example programs. | ||
| + | |||
| + | Please note that we are actively working on related techniques and that the distribution may therefore not include our most recent progress. | ||