その他

基本情報

氏名 久保 誠
氏名(カナ) クボ マコト
氏名(英語) KUBO, Makoto
所属 商経学部
職名 教授
researchmap研究者コード
researchmap機関

翻訳書、学会発表、講演、作品等の名称

Language Primitive and Type Discipline for Structured Communication Based Programming

単・共の別

単著

発行又は発表の年月

199803

発表学会等の名称

European Symposium on Programming, ESOP 98

概要

構造化通信を基礎としたプログラミング言語の基本的な言語構造と型システムについて提案する。提案された言語は、セッション(相互作用)を基本概念として使い、単純な多重の組み合わせでプログラムを構成でき、従来の通信概念を表現できる。また、型推論システムを定義し、型付けされたプログラムの動作で生じる通信パターンの整合性と妥当性を保証し、型が通信動作の抽象の一つであることを示した。

担当授業科目1

 

担当授業科目2

 

担当授業科目3