%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.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org