An animator for CSP implemented in HOPE

  • L. D. Natanson
  • W. B. Samson
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

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.

Keywords

Burner Prefix 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Hoare85]
    ‘Communicating Seqeuntial Processes’. C.A.R. Hoare, Prentice-Hall, 1985.Google Scholar
  2. [McCabe76]
    ‘A complexity measure’. T.J. McCabe, IEEE Trans. Software Eng. SE-2, 1976.Google Scholar
  3. [Milne87]
    ‘The analysis and manipulation of BNF definitions’. A.C. Milne, EUUG autumn conference proceedings,1987.Google Scholar
  4. [Milne88]
    ‘On the construction of a functional interpreter from a formal language specification’. A.C. Milne, in preparation, 1988.Google Scholar
  5. [Milner80]
    ‘A Calculus of Communicating Systems’. R. Milner, Springer Lecture Notes in Computer Science 92, Springer-Verlag, 1980.Google Scholar
  6. [Smith87]
    ‘Metrics for Communicating Sequential Processes’. P. Smith, A discussion note for first MUSE/QR workshop, 1987.Google Scholar

Copyright information

© Springer-Verlag London 1990

Authors and Affiliations

  • L. D. Natanson
    • 1
  • W. B. Samson
    • 1
  1. 1.Department of Mathematics and Computer StudiesDundee College of TechnologyDundeeUK

Personalised recommendations