db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%T Tock: One Year On
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Adam T. Sampson, Neil C.C. Brown
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%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.