Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon


Occam - Programming language

< >

Occam is a programming language created in 1983 by David May.

#182on PLDB 40Years Old 325Users
17Books 24Papers

occam is a concurrent programming language that builds on the communicating sequential processes (CSP) process algebra, and shares many of its features. It is named after William of Ockham of Occam's Razor fame. occam is an imperative procedural language (such as Pascal). Read more on Wikipedia...

Example from hello-world:
PROGRAM Hello #USE ioconv SEQ write.full.string(screen,"Hello World")
PROGRAM Hello -- Hello world in Occam #USE ioconv SEQ write.full.string(screen,"Hello World!")
Example from Wikipedia:
ALT count1 < 100 & c1 ? data SEQ count1 := count1 + 1 merged ! data count2 < 100 & c2 ? data SEQ count2 := count2 + 1 merged ! data status ? request SEQ out ! count1 out ! count2

Language features

Feature Supported Token Example
Strings ‚úď "
"Hello world"
Print() Debugging ‚úď write.full.string
Semantic Indentation ‚úď

Books about Occam on goodreads

title author year reviews ratings rating
Programming In Occam Geraint Jones 1 3 3.00

Books about Occam from ISBNdb

title authors year publisher
Programming In Occam 2 (2nd Edition) Jones, Geraint and Goldsmith, Michael 1988 Prentice Hall
Programming in Occam (Prentice-hall International Series in Computer Science) Jones, Geraint 1987 Prentice Hall
Occam Programming Manual Inmos Limited 1983 Prentice Hall Direct
Tutorial Introduction to Occam Programming D. Pountain and David May 1987
A Tutorial Introduction to Occam Programming D. Pountain and D. May 1987 Mcgraw-Hill (Tx)
Occam (programming Language) Surhone and Lambert M. and Timpledon and Miriam T. and Marseken and Susan F. 2010
Introduction To Occam 2 Programming Bowler K 1987 Chartwell-bratt
Concurrent Programming In Occam 2 J. Wexler 1989 Ellis Horwood Ltd , Publisher
Introduction To Occam 2 On The Transputer Graham R. Brookes and Andrew J. Stewart 1989 Springer
Transputer and Occam Developments: WoTUG 18 Patrick Nixon 1995 Fairfax, Virginia, U.S.A.: Ios Pr Inc
Occam Programming: A Practical Approach (computer Science Texts) Jon Kerridge 1987 Alfred Waller Ltd
Occam Programming: A Practical Approach (computer Science Texts) Jon Kerridge 1987 Blackwell Science Inc
Parallel Programming And Applications, (transputer And Occam Engineering Series) Peter Fritzson (editor) and Leif Finmo (editor) 1995 Ios Pr Inc
Parallel Computing: From Theory To Sound Practice, (transputer & Occam Engineering.) Elie Milgrom and Spain) European Workshops On Parallel Computing (1992 Barcelona 1992 Ios Pr Inc
Concurrent Programming In Occam 2 (ellis Horwood Series In Computers And Their Applications) John Wexler 1989 Halsted Press
Parallel Programming And Java: Wotug 20 : Proceedings Of The 20th World Occam And Transputer User Group Technical Meeting, 13-16 April 1997 (concurrent Systems Engineering Series, 50) A. Bakkers 1997 Ios Pr Inc

Publications about Occam from Semantic Scholar

title authors year citations influentialCitations
Correctness of Compiling Occam to Transputer Code E. Börger and Igor Durdanovic 1996 98 1
Denotational Semantics for occam A. W. Roscoe 1984 57 2
Occam and the transputer D. May and R. Shepherd 1984 37 0
Signal processing with occam and the transputer R. Taylor 1984 19 0
Occam - A Programming Language for Multiprocessor Systems M. Hull 1987 17 0
Occam in the specification and verification of microprocessors A. W. Roscoe 1992 15 1
Towards provably correct hardware/software partitioning using OCCAM E. Barros and A. Sampaio 1994 14 0
Simulating hardware structures in occam R. Dowsing 1985 11 0
A multi‚Äźprocessor implementation of occam A. J. Fisher 1986 6 0
Communication protocols and concurrency: an Occam implementation of X.25 J. E. Boillat and P. K. Goode and P. Kropf and D. Bartschi and A. Spichiger 1988 6 0
Occam as a hardware description language G. Collis and E. Kappos 1987 6 0
Combining EDF Scheduling with occam using the Toc Programming Language Martin Korsgaard and S. Hendseth 2008 6 1
Asynchronous communication on Occam N. Serbedzija 1988 5 0
An operational semantics for occam Juanito Camilleri 1990 5 0
Design strategies for implementing systolic and wavefront arrays using OCCAM R. Chapman and T. Durrani and T. Willey 1985 4 0
Occam structures in control applications D.I. Jones 1985 4 0
Occam channels and Kernel Linda T. K. Hazra 1993 3 0
Occam and the transputer R. Dettmer 1985 3 0
Notes on termination of OCCAM processes D. Talia 1990 2 0
A fully parallel, multi-processor software system using Inmos transputers and the occam programming language R. Taylor and S. Taylor 1989 2 0
Notes on termination of OCCAM processes D. Talla 1990 1 0
Spezifikation einer Sprache zur Simulation von PRAM-Modellen und ihre √úbersetzung nach OCCAM T. Seifert and Ewald Speckenmeyer 1990 1 0
OCCAM - Eine Sprache f√ľr die Programmierung paralleler Prozesse/OCCAM - őĎ Parallel Programming Language H. Dietsch and R. Ulrich 1987 1 0
Protocol description and simulation in the OCCAM programming language Gert Van Der Jeugt and E. Dirkx and J. Tiberghien 1988 1 0
mumps.html · occam.html · coq.html

View source

- Build the next great programming language · Search · v2023 · Day 208 · Docs · Acknowledgements · Traffic · Traffic Today · Mirrors · GitHub ·