Operational Semantics of Continuation based C
Yasutaka Higa
研究目的
並列プログラミングにおいてユーザは実行の非決定性を意識する必要がある
信頼性を保ちながら並列にプログラミングできる言語 CbCを提案する
コードは ceg, データは deg という単位で記述する
プログラムは ceg どうしの接続で表現され、並列で実行される
研究目的 (Operational Semantics?)
並列で ceg が実行されても結果が変わらないことを保証する
プログラムの実行に相当する項書き換えのルールを示す
メタ計算部分を切り替え可能であることも示す
ceg/deg duallity?
