Paper Details

%T Compiling occam to C with Tock
%A Adam T. Sampson
%E Alistair A. McEwan, Steve Schneider, Wilson Ifill, Peter H. Welch
%B Communicating Process Architectures 2007
%X Tock is a new occam compiler from the University of Kent,
   the latest result of many years&\[sh]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&\[sh]8217;s output resembles handwritten CIF code;
   this eases debugging and takes better advantage of the C
   compiler&\[sh]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.