pi-calculus の亜種である cube-calculus に対する実行系の提案。言語的に tail recursion しかないためにスタックを使わずにリソース管理ができる。あとは参照カウント方式の garbage collection とか、並行演算子を使っているがシーケンシャルな処理が記述されていることを明示するプリミティブの導入によるパフォーマンスの向上とか。

author="Frédéric Peschanski and Samuel Hym",
title="{A Stackless Runtime Environment for a Pi-calculus}",
booktitle="VEE'06",
publisher="ACM",
pages="57--67",
year="2006"

http://portal.acm.org/citation.cfm?doid=1134760.1134770

コメント追加

投稿者 kw : 2009/11/30 12:27:00 JST #

突発的にドライブ。出た時間が遅かったのと燃料の残りが少なかったから、安曇川から朽木へ回って琵琶湖大橋を渡って帰るという珍しくもなんともないルートで。新しいルートを開拓したいなー。

コメント追加

投稿者 kw : 2009/11/28 23:33:00 JST #

読了。

コメント追加

投稿者 kw : 2009/11/26 22:20:00 JST #

読了。

コメント追加

投稿者 kw : 2009/11/23 21:16:00 JST #

臨時の仕事で昼から出勤。仕事自体はもう片付いたのでそろそろ帰るつもり。

コメント追加

投稿者 kw : 2009/11/22 15:34:00 JST #

出張から帰宅。FOSE2009 に行ってました。終わった後で移動して友人と会ってから帰途へ。もう少しゆっくり話ができるとよかったけど時間切れ。関東圏はやっぱり遠い。

コメント追加

投稿者 kw : 2009/11/21 23:51:00 JST #

読了。

コメント追加

投稿者 kw : 2009/11/15 22:39:00 JST #

リアルタイム Java での開発: 第 3 回 リアルタイム Java アプリケーションを作成、検証、分析する

コメント追加

投稿者 kw : 2009/11/13 20:51:00 JST #

自宅サーバのネットワーク回りの設定をうっかりネットワーク越しにいじっていたらアクセス不能になりました。このサーバがネットワークから切り離されるといろいろ困るのでいつもより少し早めに帰宅して手当て。だけど各種サービスは正常に動いてるように見えるのにネットワークには出られず結局何が起きたのかよくわからずじまい。reboot したら正常に動いてるからハードウェア的に何かあったのかな。

コメント追加

投稿者 kw : 2009/11/12 22:05:00 JST #

The Go Programming Language

コメント追加

投稿者 kw : 2009/11/11 18:33:00 JST #

読了。

コメント追加

投稿者 kw : 2009/11/08 21:05:00 JST #

Closure Tools

コメント追加

投稿者 kw : 2009/11/06 16:17:00 JST #

読了。

コメント追加

投稿者 kw : 2009/11/03 20:23:00 JST #

発表資料を作っていて論文にミスを発見。今頃になって見つかるとは。見つかってよかったわけだけど。本質に関わるミスではないけど、そこだけ整合性がとれていない。発表の冒頭にでも修正するかな。

(2009/11/03 20:15 追記) 誤植を発見。ブロックがプロックになってる。orz

コメント追加

投稿者 kw : 2009/11/02 21:01:00 JST #