Occam

Occam - język programowania opracowany przez firmę Inmos Ltd specjalnie dla programowania współbieżnego (równoległego, wieloprocesorowego); Occam zaprojektowano w ten sposób, aby poprawność algorytmów w nim zapisanych była łatwa do sprawdzenia metodami czysto teoretycznymi (matematycznymi); na strukturze języka Occam oparto projekt transputera.