Operational Semantics of Continuation based C

Yasutaka Higa

Operational Semantics of Continuation based C

Yasutaka Higa

研究目的

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

研究目的 (Operational Semantics?)

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