title: Operational Semantics of Continuation based C
author: Yasutaka Higa
profile:
lang: Japanese


# 研究目的
* 並列プログラミングにおいてユーザは実行の非決定性を意識する必要がある
* 信頼性を保ちながら並列にプログラミングできる言語 CbCを提案する
* コードは ceg, データは deg という単位で記述する
* プログラムは ceg どうしの接続で表現され、並列で実行される

# 研究目的 (Operational Semantics?)
* 並列で ceg が実行されても結果が変わらないことを保証する
* プログラムの実行に相当する項書き換えのルールを示す
* メタ計算部分を切り替え可能であることも示す
* ceg/deg duallity?


<!-- vim: set filetype=markdown.slide: -->