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"
@InProceedings{SampsonBrown08,
title = "{T}ock: {O}ne {Y}ear {O}n",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
author= "Sampson, Adam T. and Brown, Neil C.C.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
editor= "Welch, Peter H. and Stepney, S. and Polack, F.A.C and Barnes, Frederick R. M. and McEwan, Alistair A. and Stiles, G. S. and Broenink, Jan F. and Sampson, Adam T.",
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
pages = "449--449",
booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2008",
isbn= "978-1-58603-907-3",
year= "2008",
month= "sep",
abstract= "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'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."
}