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 Parallel Usage Checking \- an Observation
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Barry M. Cook
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon Kerridge, Jan F. Broenink, Frederick R. M. Barnes
%B Communicating Process Architectures 2011
%X One of the great strengths of CSP based concurrent
programming languages
(such as occam) is the support
provided to the programmer in avoiding the
creation of
erroneous programs.
One such support – parallel
usage checking –
detects program behaviours that
may leave a variable in an unpredictable
state.
Current
implementations of this check are safe but can lead
to
inefficient program implementations.
In some cases, a
simple program
transformation can be used to demonstrate the
safety of programs that would
otherwise fail existing
tests.
By presenting a simple (but generic) example,
I will
show that using such a transformation allows the creation of
more
efficient programs.