Differences

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

--- scalaz3 [2011/10/20 16:42]
philippe.suter
+++ scalaz3 [2012/02/27 12:30]
philippe.suter
@@ Line 4: / Line 4: @@
 The sources are now available on [[https://github.com/psuter/ScalaZ3|GitHub]]. Please use GitHub's issue tracker to report bugs or suggest improvements. Questions should be asked on [[http://stackoverflow.com/|Stack Overflow]], preferably tagged with [z3] and [scala].
 ===== Paper and Presentation =====
 Information on (a version) of this library is available in
-  * [[http://lara.epfl.ch/~kuncak/papers/KoeksalETAL11ScalaZ3.html|CADE System Description]]
+  * A.S. Köksal, V. Kuncak, P. Suter. //Scala to the Power of Z3//. CADE 2011 (System Description) [[http://lara.epfl.ch/~kuncak/papers/KoeksalETAL11ScalaZ3.html|PDF]]
   * [[http://lara.epfl.ch/~kuncak/talks/ScalaZ3.ppsx|Powerpoint Slides]]
 ===== Scala =====
-The Scala API is available at [[http://lara.epfl.ch/~psuter/jniz3/]]. You probably want to look at the classes ''Z3Context'' to start, and ''Z3Theory'' if your interest is to write theory plugins. The function names are usually very close to their C equivalent (you can consult the C API [[http://research.microsoft.com/en-us/um/redmond/projects/z3/group__capi.html|here]]). One notable difference is that functions return multiple arguments when needed rather than using by-reference arguments. This convention is applied systematically. Not all functions in the C API have a Scala equivalent yet (for instance, bit-vectors have no counterpart yet).
+The Scala API is available at [[http://lara.epfl.ch/~psuter/ScalaZ3/]]. You probably want to look at the classes ''Z3Context'' to start, and ''Z3Theory'' if your interest is to write theory plugins. The function names are usually very close to their C equivalent (you can consult the C API [[http://research.microsoft.com/en-us/um/redmond/projects/z3/group__capi.html|here]]). One notable difference is that functions return multiple arguments when needed rather than using by-reference arguments. This convention is applied systematically. Not all functions in the C API have a Scala equivalent yet (for instance, bit-vectors have no counterpart yet).