構造化通信を基礎としたプログラミング言語の簡約意味論

構造化通信を基礎としたプログラミング言語の基本的な言語構造、操作的意味論、型システムおよび簡約意味論を提案する。また、操作的意味を与えるために簡約を基礎とした遷移系を提案し、観測を基にした等価性を定義した。加えて、簡約を基にした等価性を提案し、これが観測を基にした等価性と同一視でき、かつ、規範的な等価理論になることを示している。最後に、簡約意味論による等価性と型システムの関連性を述べている。

千葉商大論叢

第42巻第4号