克朗

Kent可重定目标的Occam编译器是一个多平台Occam 2.1编译器,旨在允许Occam编程语言在非Transputer平台上使用。随着时间的推移,occam3规范的一个子集和pi演算的扩展已经被添加。因此,编译器支持的语言版本有时也被称为occam2.5或occampi(资料来源:http://freecode.com/)

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH参考文献(参考 5篇文章

显示第1到第5个结果,共5个。
按年份排序(引文)

  1. Pedersen,Jan B.;Welch,Peter H.:并发与验证的共生:教学与案例研究(2018)
  2. Zain ul Abdin;Svensson,Bertil:用于大规模并行可重构架构编程的Occam pi(2012)ioport公司
  3. Fabiani,Erwan:在可重构体系结构设计教学中体验基于问题的学习方法(2009)ioport公司
  4. Welch,Peter H.;Barnes,Frederick R.M.:通信移动过程。介绍occam pi。(2005年)
  5. Welch,P.H.;Aldous,J.R.;Foster,J.:Java的CSP网络(JCSP.net)(2002)


更多出版物请访问:http://www.cs.kent.ac.uk/projects/ofa/kroc/#pubs