Paper Details

@InProceedings{Sampson07,
  title = "{C}ompiling occam to {C} with {T}ock",
  author= "Sampson, Adam T.",
  editor= "McEwan, Alistair A. and Schneider, Steve and Ifill, Wilson and Welch, Peter H.",
  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\&\#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\&\#8217;s output
     resembles handwritten CIF code; this eases debugging and
     takes better advantage of the C compiler\&\#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."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.