scala/README
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 01 Apr 2013 21:38:53 +0100
changeset 235 0b9c893cfd1b
parent 226 df455e0a9f98
child 270 ccec33db31d4
permissions -rw-r--r--
added paper by Kozen on Hoare-logics and Kleene algebras


The packages can be compiled with

  scalac lib.scala turing.scala abacus.scala recs.scala comp1.scala comp2.scala

If you get an error, it is advisable to clean 
out the existing class-files

  rm */*.class


After compilation, the examples can be run in
the REPL as well as in scala. For example


  scala ex.scala

or

  scala -cp $PWD ex.scala


The directory can be cleaned with

  rm -rf *~ lib turing abacus comp1 comp2 recs




------------------------------
Abacus to Javabyte compilation

requires the jasmin assembler for Java
avilable from

  http://jasmin.sourceforge.net

Calling

  scala -cp $PWD ex_jvm.scala

generates a Prog.j intermediate file.
This will be assembled using jasmin.