occam programming language

E440672

concurrent programming language programming language

Occam is a concurrent programming language developed in the early 1980s for the INMOS Transputer, designed around lightweight processes and message-passing communication to support parallel computing.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (4)

Label	Occurrences
occam 2	2
occam 2.1	2
occam-π	2
occam programming language canonical	1

How this entity was disambiguated

This entity first appeared as the object of triple T4443701 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: occam programming language
Context triple: [CSP (Communicating Sequential Processes), influenced, occam programming language]

A. Oberon programming language
The Oberon programming language is a minimalist, modular, and strongly typed language designed by Niklaus Wirth as the successor to Modula-2, emphasizing simplicity and efficiency in both language and operating system design.
B. Eiffel programming language
Eiffel is an object-oriented programming language designed by Bertrand Meyer that emphasizes software correctness through features like Design by Contract and strong support for modular, reusable code.
C. Algol 68C
Algol 68C is a compiler implementation of the Algol 68 programming language, designed to translate its advanced structured constructs into executable machine code.
D. Algol 68R
Algol 68R is a revised, more practical and implementable version of the Algol 68 programming language, created to simplify and clarify the original language’s complex design.
E. Algol 68S
Algol 68S is a simplified subset of the Algol 68 programming language designed to make the language easier to implement and use.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: occam programming language
Target entity description: Occam is a concurrent programming language developed in the early 1980s for the INMOS Transputer, designed around lightweight processes and message-passing communication to support parallel computing.

A. Oberon programming language
The Oberon programming language is a minimalist, modular, and strongly typed language designed by Niklaus Wirth as the successor to Modula-2, emphasizing simplicity and efficiency in both language and operating system design.
B. Eiffel programming language
Eiffel is an object-oriented programming language designed by Bertrand Meyer that emphasizes software correctness through features like Design by Contract and strong support for modular, reusable code.
C. Algol 68C
Algol 68C is a compiler implementation of the Algol 68 programming language, designed to translate its advanced structured constructs into executable machine code.
D. Algol 68R
Algol 68R is a revised, more practical and implementable version of the Algol 68 programming language, created to simplify and clarify the original language’s complex design.
E. Algol 68S
Algol 68S is a simplified subset of the Algol 68 programming language designed to make the language easier to implement and use.
F. None of above. chosen

Statements (51)

Predicate	Object
instanceOf	concurrent programming language ⓘ programming language ⓘ
basedOn	Communicating Sequential Processes ⓘ linked to: CSP (Communicating Sequential Processes)
designedFor	INMOS Transputer ⓘ fine-grained parallelism ⓘ
designGoal	deterministic parallel programming ⓘ efficient mapping to Transputer hardware ⓘ high reliability in concurrent systems ⓘ
developer	David May ⓘ INMOS ⓘ linked to: Inmos microprocessor factory others at INMOS ⓘ
executionModel	message-passing concurrency ⓘ process network ⓘ
fileExtension	.occ ⓘ
hasKeyword	ALT ⓘ CHAN ⓘ PAR ⓘ SEQ ⓘ
inception	early 1980s ⓘ
influenced	CSP-based concurrency libraries in other languages ⓘ Go programming language ⓘ linked to: Go occam 2 ⓘ linked to: occam programming language occam 2.1 ⓘ linked to: occam programming language occam-π ⓘ linked to: occam programming language
influencedBy	CSP ⓘ linked to: CSP (Communicating Sequential Processes)
inspiredBy	principle of parsimony (Occam's razor) ⓘ
memoryManagement	no dynamic memory allocation ⓘ
namedAfter	William of Ockham ⓘ
notableFeature	compile-time checked communication protocols ⓘ no shared memory between processes ⓘ very lightweight processes mapped to Transputer hardware ⓘ
paradigm	communicating sequential processes ⓘ concurrent ⓘ imperative ⓘ parallel ⓘ
primaryUse	embedded systems on Transputers ⓘ parallel computing ⓘ
standardizedAs	occam 1 ⓘ
successor	occam 2 ⓘ linked to: occam programming language occam 2.1 ⓘ linked to: occam programming language occam-π ⓘ linked to: occam programming language
supports	alternation (ALT construct) ⓘ channel-based communication ⓘ deterministic concurrency ⓘ lightweight processes ⓘ message passing ⓘ parallel composition ⓘ sequential composition ⓘ synchronous communication ⓘ
typingDiscipline	static typing ⓘ strong typing ⓘ

How these facts were elicited