An animator for CSP implemented in HOPE
This paper describes the construction of an animator for C.A.R. Hoare’s Communicating Sequential Processes (CSP) in the functional programming language HOPE. The animator accepts declarations of CSP systems and generates HOPE functions to represent them. An informal introduction to CSP is given. Hoare’s original LISP animations are discussed and the evolution of the HOPE animator is traced. The development of a HOPE language interpreter for the IBM PC is presented.
Possible uses of the animator in the areas of verification and software metrics for concurrent systems are discussed.
Unable to display preview. Download preview PDF.
- [Hoare85]‘Communicating Seqeuntial Processes’. C.A.R. Hoare, Prentice-Hall, 1985.Google Scholar
- [McCabe76]‘A complexity measure’. T.J. McCabe, IEEE Trans. Software Eng. SE-2, 1976.Google Scholar
- [Milne87]‘The analysis and manipulation of BNF definitions’. A.C. Milne, EUUG autumn conference proceedings,1987.Google Scholar
- [Milne88]‘On the construction of a functional interpreter from a formal language specification’. A.C. Milne, in preparation, 1988.Google Scholar
- [Milner80]‘A Calculus of Communicating Systems’. R. Milner, Springer Lecture Notes in Computer Science 92, Springer-Verlag, 1980.Google Scholar
- [Smith87]‘Metrics for Communicating Sequential Processes’. P. Smith, A discussion note for first MUSE/QR workshop, 1987.Google Scholar