Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Occam programming: a practical approach
Kerridge J., Blackwell Scientific Publications, Ltd., Oxford, UK, 1987. Type: Book (9789780632016594)
Date Reviewed: Nov 1 1988

OCCAM is a programming language that draws heavily on Hoare’s CSP notation, but no reference is made in this book to the original CSP paper [1].

The idea of this book is good, as are its general plan, length, and layout. Listings of program segments (folds) are given in an easily followed manner. Much of the detail is also well chosen and well presented; however, there are points that detract from the usefulness of the book. For instance, it describes a particular version of the programming language OCCAM, a product of INMOS Ltd. A new version of the language, which provides new and powerful features, means that a second edition of this book is due almost immediately after the first has been published.

The usual target hardware for OCCAM programs is the INMOS transputer, which is described in the last chapter of the book.

The programming examples seem to have been chosen for their usefulness in describing OCCAM features rather than because they are necessarily realistic. OCCAM is essentially a low-level programming notation, so there is a tendency in the book to describe code implementation details rather than program design. Other published work of both theoretical and practical nature has discussed system design using OCCAM and transputers in more detail. In the example of the petrol pump simulator, the essence of the design is lost in implementation detail. In the example on Hamming code check, the full power of the method is not used and no justification is given to show that the parallel version is faster than the sequential version. The example of modeling and simulation of bit-slice processors lacks realism, particularly with the problem provided by fan-out. All the examples seem to lack the clarity that would have been gained through the use of high-level support tools and standard software modules.

The book is primarily intended as the text for a conversion course for students already familiar with a sequential programming language. There are various other books in the same general area. This one is a tutorial text for use when the class is likely to be testing program code and developing new ideas using the transputer development system hardware and software. It covers the concepts by use of examples. A problem would occur if the course lecturer wished to use other examples.

There are no references in the book to other published material. In a few cases the use of previous material would have strengthened the book.

The book is biased toward a low-level practical approach to the subject, rather than a high-level system design or theoretical approach. From this viewpoint it is a well-planned and useful course text.

Reviewer:  D. Q. M. Fay Review #: CR112538
1) Hoare, C. A. R.CSP: communicating sequential processes. Commun. ACM 21 (Aug. 1978), 666–677.
Bookmark and Share
 
Occam (D.3.2 ... )
 
 
Advanced Technologies (B.7.1 ... )
 
 
Concurrent Programming Structures (D.3.3 ... )
 
 
Distributed Applications (C.2.4 ... )
 
 
Multiple-Instruction-Stream, Multiple-Data-Stream Processors (MIMD) (C.1.2 ... )
 
 
Communications Management (D.4.4 )
 
Would you recommend this review?
yes
no
Other reviews under "Occam": Date
A tutorial introduction to Occam programming
Pountain D., May D., McGraw-Hill, Inc., New York, NY, 1987. Type: Book (9789780070506060)
Jul 1 1988
Concurrent programming in OCCAM 2
Wexler J. (ed), Prentice-Hall, Inc., Upper Saddle River, NJ, 1989. Type: Book (9789780131617384)
Jul 1 1990

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy