| Item type |
紀要論文(ELS) / Departmental Bulletin Paper(1) |
| 公開日 |
2005-03-31 |
| タイトル |
|
|
タイトル |
構造化通信を基礎としたプログラミング言語の簡約意味論(山本英男先生退職記念号) |
| タイトル |
|
|
タイトル |
The Reduction-based semantics of Structured Communication-based Programming Language(In Commemoration of the Retirement of Professor Teruo Yamamoto) |
|
言語 |
en |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
departmental bulletin paper |
| ページ属性 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
P(論文) |
| 記事種別(日) |
|
|
|
論説 |
| 記事種別(英) |
|
|
|
en |
|
|
Article |
| 著者名(日) |
久保, 誠
|
| 著者名よみ |
クボ, マコト
|
| 著者名(英) |
KUBO, Makoto
|
| 著者所属(日) |
|
|
|
千葉商科大学計算機科学 |
| 抄録(日) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本論文で構造化通信を基礎としたプログラミング言語の基本的な言語構造,操作的意味論,型システムおよび簡約意味論を提案する。提案された言語は,セッションとよばれる互いに通信しあう構造(相互作用)を基本概念として使い,それを多重に組み合わせることによってプログラムを単純かつ洗練された方法で構成できることを示す。また,操作的意味を与えるために簡約を基礎とした遷移系を提案し,観測を基にした等価性を定義した。また,この言語には,MLと同様な型推論システムを定義し,それによって型付けされたプログラムの動作で生じるプロセス間の通信パターンの整合性と妥当性を保証し,基本性質として型つけされたプログラムは,実行時に通信に対する不整合に関わる誤りをださないという性質を示す。また,簡約を基にした等価性を提案し,これが観測を基にした等価性と同一視でき,かつ,規範的な等価理論になることを示している。最後に,簡約意味論による等価性と通信型システムの関連性を述べている。 |
| 雑誌書誌ID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN0014259X |
| 書誌情報 |
千葉商大論叢
巻 42,
号 4,
p. 123-141,
発行日 2005-03-31
|
KJ00004189203.pdf (912.5 kB)
