Correctness of Compiling Occam to Transputer Code
Edit Page
Report
Scan day: 07 February 2014 UTC
4
Virus safety - good
Description: Article by Egon Borger, Igor Durdanovic.
, "Correctness of compiling Occam to Transputer code." A formal semantics for Occam, along with a hierarchy of provably correct refinements to the Transputer Instruction Set architecture. last update: Wednesday, 14-Aug-2013 18:19:19 EDT
Size: 246 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Abstract State Machines: Occam |
| Keywords: | abstract state machines, evolving algebras, Occam |
| Description: | Abstract State Machine paper web page on Occam |
| IP-address: | 141.212.113.142 |
WHOIS Info
| NS | Name Servers: DNS.ITCS.UMICH.EDU 141.211.144.15 DNS2.ITCS.UMICH.EDU 141.211.125.15 |
| WHOIS | |
| Date | activated: 07-Oct-1985 last updated: 16-May-2012 expires: 31-Jul-2014 |