KRoC

KRoC, the Kent Retargetable occam Compiler, is an occam implementation that is based on the INMOS occam 2.1 compiler as a front-end and a…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2007

Model checking has been used in various domains, to enable automatic verification of properties for a given model. Especially in…

2007

This paper outlines oc-X, a multiprocessor communication harness for KROC (the portable occam compiler). oc-X is designed to…

2007

This report details the implimentation of a peephole optimiser stage for KROC (Kent Retargetable Occam Compiler)(Wood and Welch…

2006

Complex Web services are very difficult to test and verify before deployment on a large scale. A semantically equivalent in…

2005

Acknowledgement: This article was first presented as the Kroc Foundation Distinguished Lecture at the Western Regional Meeting of…

2000

A simple post-mortem debugging facility has been added to KRoC [1], to identify and locate run-time errors, including deadlock…

2000

An experimental version of KRoC [1] has been written that implements recursion in occam*, using Brinch Hansen’s algorithm for…

1999

This paper describes the addition of user-defined monadic and dyadic operators to occam* [1], together with some libraries that…

1998

The parameters of an occam PROC are passed in consecuti ve locations at the start of the occam workspace of the process making…

1996

This paper summarises the experiences gained at the Control Laboratory of the University of Twente in porting the Kent…