ダウンロード数 : ?
タイトルヨミ
アンゼン ナ ドウテキ カタ ト ブンサン プログラミング
日本語以外のタイトル
Safe Dynamics and Distributed Programming
ファイル
言語
英語
著者
藤田 憲悦
内容記述(抄録等)
For distributed programming, we introduce the notion of safe dynamics with dynamic types into MLlike functional programming language. The notion of dynamic types is here parametenzed with a set of monotypes, called a kind. The kind means an inductively defined set of monotypes. Hence, type case (dynamic type dispatch) mechanism can be naturally obtained as a recursive program over types, a la MartinLof, via an elimination rule for the inductively defined kinds. From a viewpoint of client-server programming, dynamic types under a constraint of the kinds provide a well-connected condition between a server and a client, with respect to types. Moreover, this point makes it possible to statically check dynamic types, such as ML-programs. A prototype of the system, called SDS (Safe Dynamics for Statically typed functional programming language), has been implemented by using C-language.
掲載誌名
島根大学総合理工学部紀要. シリーズA
34
開始ページ
95
終了ページ
103
ISSN
13427113
発行日
2000-12-24
NCID
AA11157087
出版者
島根大学総合理工学部
出版者別表記
Interdisciplinary Faculty of Science and Engineering, Shimane University
資料タイプ
紀要論文
部局
(旧組織)大学院総合理工学研究科
備考
30-41+ / 1997-2007
他の一覧
このエントリーをはてなブックマークに追加