Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/occam2.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Egon Börger and Igor Durdanovic, "Correctness of compiling Occam to Transputer code." Computer Journal, vol. 39, no. 1, 1996, p. 52--92. |
|---|---|
| Summary: | A formal semantics for Occam, along with a hierarchy of provably correct refinements to the Transputer Instruction Set architecture. |
| Subjects: | Compiler Correctness, Distributed Systems, Programming Languages, Refinement, Verification |
| Download: | PostScript, PDF, Compressed PostScript. |
| Notes: | See also another paper on Occam. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/occam2.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT