Formal Methods Wiki


120pages on
this wiki
Add New Page
Talk0 Share

Virtual Library
Concurrent systems

The Occam archive

The Occam archive contains information relevant to the occam programming language and is available via anonymous FTP with an index. A list of books on occam and contact information for the Occam User Group (OUG) are available.

See also:

Other online papers:

William Occam (c. 1280–1349)

Entia non sunt multiplicanda praeter necessitatem.

No more things should be presumed to exist than are absolutely necessary.

`Occam's Razor'. Ancient philosophical principle, often attributed to William Occam, but used by many early thinkers.

Last updated by Jonathan Bowen, 24 March 2009.

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.