Occam Web Directory.


Home \| About us \| Advertise \| Contact Us

Computers > Programming > Languages > Occam

Web Directory

Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.

Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Computers > Programming > Languages > Occam
Directory of Web Resources @ Expo Central : Occam

Computers > Programming > Languages > Occam : Categories

Java (5)

Computers > Programming > Languages > Occam : Web Resources

Computers > Programming > Languages > Occam : Web-Sites

1. Algebraic Operational Semantics and Occam [ Report dead link ]

Article by Yuri Gurevich, Lawrence S. Moss.

http://www.eecs.umich.edu/gasm/papers/occam0.html

2. An occam2 To Modula-3 Translator [ Report dead link ]

Dissertation.

http://freespace.virgin.net/martin.mamo/dissert.html

3. Correctness of Compiling Occam to Transputer Code [ Report dead link ]

Article by Egon Borger, Igor Durdanovic.

http://www.eecs.umich.edu/gasm/papers/occam2.html

4. Hello, World program [ Report dead link ]

Example simple Occam program.

http://www2.latech.edu/~acm/helloworld/occam.html

5. Into the Wibble: Occam Tutorial [ Report dead link ]

Introduction to programming occam, for those who know another language.

http://frmb.org/occtutor.html

6. Introduction to the Programming Language Occam [ Report dead link ]

By Dan Hyde; Bucknell University, 1995. History, explanations, code samples.

http://www.eg.bucknell.edu/~cs366/occam.pdf

7. Occam Programming Language [ Report dead link ]

Growing article, with links to many related topics. [Wikipedia]

http://en.wikipedia.org/wiki/Occam_programming_language

8. Occam-pi and KRoC: Blending CSP and the Pi-calculus [ Report dead link ]

Resources for occam-pi and KRoC: Kent Retargetable occam(-pi) Compiler: descriptions, news, download, documentation, bugs, coming-soon, publications, links. [Open Source, GPL, LGPL]

http://www.cs.kent.ac.uk/projects/ofa/kroc/

9. ProCoS Archive [ Report dead link ]

Provably Correct Systems projects, ESPRIT basic research, based on Occam and Transputer paradigm, parts: I 1989-1992, II 1992-1995. History, documents, FTP, mail list, workshops, contacts.

http://vl.fmnet.info/procos/

10. Programming in Occam [ Report dead link ]

By Geraint Jones; Prentice Hall, 1987, ISBN 0137297734; Web edition 2001. Introductory textbook.

http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/publications/book/Pio1/

Pages: [1] 2

Next Page >>

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

Computers > Programming > Languages > Occam : Web Resources

Computers

Programming

Languages

[ Home | About us | Advertise | Contact Us ]