Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Next revision Both sides next revision | ||
|
sav08:calculus_of_computation_textbook [2008/02/12 16:12] vkuncak created |
sav08:calculus_of_computation_textbook [2008/02/12 16:14] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Textbook: The Calculus of Computation ====== | ====== Textbook: The Calculus of Computation ====== | ||
| - | Among the textbooks, this one is closest. | + | Among the textbooks, this one is closest to the material that we will cover (although we will cover other things, and there will be lecture notes). |
| [[http://www.springer.com/computer/foundations/book/978-3-540-74112-1|Web site at Springer]] | [[http://www.springer.com/computer/foundations/book/978-3-540-74112-1|Web site at Springer]] | ||
| Line 9: | Line 9: | ||
| [[http://theory.stanford.edu/~arbrad/pivc/index.html|PiVC tool]] | [[http://theory.stanford.edu/~arbrad/pivc/index.html|PiVC tool]] | ||
| - | The instructions work. On a Debian you can also try this: unpack [[http://lara.epfl.ch/~kuncak/pivc.tar.gz|this unofficial PiVC arhive]], run pivc/configure. If you have e.g. Java Hotspot 1.5.0.7, you should now be able to run the system with pivc/bin/piVC and try out some examples in pivc/examples directory. | + | The instructions work. If you have a Linux like mine, you can also try this: unpack [[http://lara.epfl.ch/~kuncak/pivc.tar.gz|this unofficial PiVC arhive]], run pivc/configure. If you have e.g. Java Hotspot 1.5.0.7, you should now be able to run the system with pivc/bin/piVC and try out some examples in pivc/examples directory. |