Paper Details

@InProceedings{Cook11,
  title = "{P}arallel {U}sage {C}hecking - an {O}bservation",
  author= "Cook, Barry M.",
  editor= "Welch, Peter H. and Sampson, Adam T. and Pedersen, Jan Bækgaard and Kerridge, Jon and Broenink, Jan F. and Barnes, Frederick R. M.",
  pages = "--",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2011",
  isbn= "978-1-60750-773-4",
  year= "2011",
  month= "jun",
  abstract= "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 \–
     \textlessi\textgreaterparallel usage
     checking\textless/i\textgreater \– 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."
}

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.