Content deleted Content added
Create section describing Occam 3 |
|||
Line 71:
Some elements from occam 3 were introduced into the original compiler by other teams, and came to be known as 'occam 2.5' - as in "half-way there"!
==Occam 2.5==
'''Occam 2.5''' is the common name for the language compiled by the Kent Retargettable Occam compiler [[KRoC]]. It contains a significant number of extensions to the occam 2.1 compiler, for example:
* nested protocols
* run-time process creation
* mobile channels, data, and processes
* recursion;
* protocol inheritance;
* array constructors;
* extended rendezvous.
The KRoC team have made the compiler available on their website. In recent times, the team has decided to rename the compiler to [[Occam-Pi]], because of the use of theories from the [[Pi-calculus]].
==External links==
|