db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
@InProceedings{Sampson07,
  title =        "{C}ompiling occam to {C} with {T}ock",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  author=        "Sampson,  Adam T.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  editor=        "McEwan,  Alistair A. and Schneider,  Steve and Ifill,  Wilson and Welch, Peter H.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
  pages =        "511--512",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2007",
  isbn=          "978-1-58603-767-3",
  year=          "2007",
  month=         "jul",
  abstract=      "Tock is a new occam compiler from the University of Kent,
     the latest
result of many years\&amp;\#8217; research into
     compiling concurrent languages. The existing occam compiler
     generates bytecode which is then translated into native
     instructions; this reduces opportunities for native code
     optimisation and limits portability. Tock translates occam
     into C using the CIF concurrent runtime interface, which can
     be compiled to efficient native code by any compiler
     supporting the C99 language standard. The resulting programs
     combine the safety and featherweight concurrency of occam
     with the performance and portability of C. Unlike previous
     attempts at translating occam to C, Tock\&amp;\#8217;s
     output resembles handwritten CIF code; this eases debugging
     and takes better advantage of the C compiler\&amp;\#8217;s
     optimisation facilities. Written in the purely functional
     language Haskell, Tock uses monadic combinator parsing and
     generic data structure traversal to provide a flexible
     environment for experimenting with new compiler and language
     features."
}