読了。

コメント追加

投稿者 kw : 2009年12月1日 21:54:00 JST #

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 #