kommy の備忘録 : Occam 再び
日経エレクトロニクス9/6号によると Communicating Sequential Processes が一部で熱いらしい。知らなかったが、CSP自体は Transputer 向けの Occam 言語の基になっているとのこと。 そもそも XMOS という名前でもしやと思ったが、案の定、Inmosの流れを汲んでいるとは。 マルチコアだからといって、Transputerが復活することはないと思うが、Occamの復権はありえますね。 Transputerの遺産といえばIEEE1394で使われた DS-Linkを思い出します。
The occam-π programming language
occam-π (occam-pi) is a concurrent programming language using the process-oriented programming model, which aims to make it straightforward to write correct, expressive concurrent programs. occam-π is supported on a variety of platforms by a collection of open source tools, and is used and maintained by a community of developers around the world. Resources If you're new to occam-π, the Learning Re
Communicating Scala Objects | Lambda the Ultimate
I wouldn't normally think a library is LtU material, but since this one lives at the intersection of embedded DSLs, process calculi, and a spotlight language, I think it fits: Communicating Scala Objects, Bernard Sufrin, Communicating Process Architectures 2008. In this paper we introduce the core features of CSO (Communicating Scala Objects) – a notationally convenient embedding of the essence
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
