| 大会名称 |
|---|
| 2009年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2009 |
| 発行日 |
| 2009/8/20 |
| セッション番号 |
| 3B |
| セッション名 |
| モデル検査 |
| 講演日 |
| 2009/09/02 |
| 講演場所(会議室等) |
| B会場（9号館1F 912教室） |
| 講演番号 |
| RB-003 |
| タイトル |
| An algebraic specification of message passing programming languages |
| 著者名 |
| 中村 正樹, El-Nashar Alaa Ismail, 二木 厚吉, |
| キーワード |
| Algebraic specification, Parallel program, Model checking, Maude, MPI |
| 抄録 |
|
In this paper, we deal with parallel programming with message passing interface, where each process communicates with each other via functions which send and receive data between the processes. We describe a rewriting logic specification of a simplified parallel programming language supporting message passing functions in the algebraic specification language Maude. The parallel programming language we specify can be considered as a subset of Message Passing Interface (MPI), which is a message passing library interface specification. We show that both indeterminacy and deadlocks which may arise in parallel programs can be detected by using Maude system. |
| 本文pdf |
| PDF download (129.6KB) |