Occam 2(ID:1344/occ003)

Improved version of Occam 

1987. An extension of occam1. Occam 2 adds floating point, functions and a type system
Related languages
Occam => Occam 2   Evolution of
Occam 2 => Occam 2.1   Evolution of
Occam 2 => SR   Influence
References:
  • Kerridge, Jon "Occam programming: a practical approach" Blackwell Scientific Publications, Ltd., Oxford, UK, 1987 view details
  • Bowler, K.C. et al "An Introduction to Occam 2 Programming" Chartwell-Bratt 1987 view details
  • Burns, A. "Programming in Occam 2" Addison-Wesley Longman 1987 view details
  • Wayman, Russell "OCCAM 2: an overview from a software engineering perpective" Microprocessors & Microsystems, 11(8) October 1987 view details
  • Hoare, C. A. R. (ed) "Occam 2 Reference Manual", INMOS. 1988 Prentice-Hall International, Hemel Hempstead, Hertfordshire, U.K. view details
  • Wexler, John "Concurrent programming in OCCAM 2" Prentice-Hall, 1989 view details
  • Talla, D. "Notes on termination of OCCAM processes" view details Abstract: A typical problem of concurrent programming is to ensure the correct termination of the concurrent processes which implement a program. The concurrent language Occam 2 does not provide explicit mechanisms to handle the program termination. This paper describes how to implement the distributed termination of Occam programs expressed as a network of parallel processes, avoiding deadlock situations or never-ending execution. The technique is based on the propagation of a termination message down the network of processes. Some Occam 2 programs which use this technique are described. DOI
          in [SIGPLAN] SIGPLAN Notices 25(09) September 1990 view details
  • Hall, J. "A Petri Net Semantics of Occam 2" CS-TR: 329, Department of Computing Science, University of Newcastle, 1991 view details Abstract: We describe a Petri Net model (the box model) which allows the production of a true concurreny semantics for a range of concurent programming languages. In particular we give a true concurrency semantics for a large subset of occam 2 including data and priorities.
    External link: Online copy
          in [SIGPLAN] SIGPLAN Notices 25(09) September 1990 view details
  • Galletly, John "Occam-2, including Occam-2.1" UCL Press Ltd. 1997 view details
          in [SIGPLAN] SIGPLAN Notices 25(09) September 1990 view details
    Resources
    • portable simulator for Unix

      "