%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
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