| Budget Amount *help |
¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2014: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2012: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Outline of Final Research Achievements |
A game semantics for share-memory parallel programs was given by developing the wait-notify game. In the category of wait-notify games, it was shown that a computational structure of a commutative strong monad is induced and the strong monad gives rise to a Kleisli category, in which a game semantics for a parallel extension of an Algol-like language with mutable variables is defined by the arrows in the Kleisli category. It was also shown that the game semantics is fully abstract. Furthermore, it was also shown that a game semantics for fair execution of parallel programs can be formulated in a game model with WN-bounded strategies, a variant of wait-notify game where nondetermistic choice is also regarded as a shared computational resource.
|
