Academic Theses
|
|
Basic information
|
| Name | KUBO, Makoto |
| Belonging department | |
| Occupation name | |
| researchmap researcher code | |
| researchmap agency |
 |
構造化通信を基礎としたプログラミング言語の簡約意味論
|
Sole Author
|
構造化通信を基礎としたプログラミング言語の基本的な言語構造、操作的意味論、型システムおよび簡約意味論を提案する。また、操作的意味を与えるために簡約を基礎とした遷移系を提案し、観測を基にした等価性を定義した。加えて、簡約を基にした等価性を提案し、これが観測を基にした等価性と同一視でき、かつ、規範的な等価理論になることを示している。最後に、簡約意味論による等価性と型システムの関連性を述べている。
|
千葉商大論叢
|
第42巻第4号
|
2005/03