changeset 99:304231aad560

Add writing slides ...
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 14 Apr 2015 21:28:11 +0900
parents c5360af0976d
children aede1f893abb
files slides/20150414/slide.md
diffstat 1 files changed, 20 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slides/20150414/slide.md	Tue Apr 14 21:28:11 2015 +0900
@@ -0,0 +1,20 @@
+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: -->