<< ドライブ | ホーム | 本 >>

A Stackless Runtime Environment for a Pi-calculus

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

タグ : ,



コメント追加 トラックバック送信