Occam语言

Occam是由INMOS的一个团队设计的并行处理语言结合transputer处理器的设计，基于关于T.Hoare的CSP思想。

Occam支持非常细粒度、易于使用的线程以及对多处理器环境的无缝支持。它可以与共享或分布式内存系统，以及CSP的强大基础当需要正确性的形式证明时，它是一个很好的选择。

有关在系统上使用occam的更多信息，请参阅小节：

本页包含以下部分描述occam语言自身：

Occam语言规范

occam语言有以下版本：1、2、2.1和3。

奥卡姆版本1

这种语言现在已经过时了。

Occam版本2

该语言在TDS2中实现，并支持一个有用的集合类型和高级软件结构。这是迄今为止最多的常用的语言版本。

INMOS有限公司编写的该语言规范可用作为Prentice-Hall出版的一本书。国际标准图书编号：0136293123

Occam 2.1版

这个版本的语言是最后一个实现商业SGS-Thompson（前INMOS）编译器。其中包括少量新的语言结构，如记录类型。

自从SGS-Thompson停止开发语言和编译器以来，肯特大学和其他地方。这些事态发展仍在继续。

规范适用于：

中的标准2.1语言occam 2.1参考手册[PDF格式，PostScript（后置脚本）]由SGS-Thomson书面提供微电子，布里斯托尔。这本书的风格与Prentice-Hall出版的occam 2参考手册。171页。

还有一个更新文件，描述了occam2和occam之间的变化2.1. 这是INMOS内部技术文件SW-0429-8。它假设熟悉occam2并仅描述了附加功能已添加到语言（用户定义的数据类型，记录等）。15页。
扩展的2.1语言，包含所有官方2.1特点

Occam版本3

occam 3的详细规范早于occam版本2.1，但该语言从未实现过，实际上也不太可能实现以这种形式实施。

这种语言的规范occam 3参考手册（1992年3月31日草案）[PDF格式，PostScript（后置脚本）]，已写入由Geoff Barrett和SGS-Thomson Microelectronics捐赠，布里斯托尔以前是INMOS），也可以使用。这包括以下文件标准编译器库。203页。

来自occam 3的许多想法启发了occam-pi语言功能，但occam 3中仍有许多好主意利用。

occam语言由标准库补充，实现文本I/O和高等数学。occam2库的文档是可获得的以…的形式Unix手册页和文本文件。图书馆本身是分布式的使用INMOS occam编译器，可在tds3系统源代码和Linux源版本的韩国石油公司.

occam的一些原则最近才得到实施在Java库中，因此可以在CSP和occam中编程风格，同时使用Java的语法和可移植性。图书馆是调用联合能力保障计划，CTJ公司和Java应用程序.

另请参阅关于occam和CSP的文章，网址为SEL-HPC文章存档.