Paper Details

%T Tock: One Year On
%A Adam T. Sampson, Neil C.C. Brown
%E Peter H. Welch, S. Stepney, F.A.C Polack, Frederick R. M. Barnes, Alistair A. McEwan, G. S. Stiles, Jan F. Broenink, Adam T. Sampson
%B Communicating Process Architectures 2008
%X Tock is a compiler for concurrent programming languages
   under development at the University of Kent. It translates
   occam\-π and Rain into portable, high\-performance C
   or C++. It is implemented in Haskell using the nanopass
   approach, and aims to make it easy to experiment with new
   language and compiler features. Since our
   initial presentation of Tock at CPA 2007, we have added new
   frontends and backends, implemented a parallel usage checker
   based on the Omega test, improved the effectiveness of
   Tock\[rs]s test suite, developed more efficient tree
   traversals using generic programming – and more
   besides! In this fringe session, we will describe our
   recent work on Tock, discuss our plans for the project, and
   show how it can be of use to other process\-oriented
   programming researchers.

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.