| 体系的番号 |
JPMJPR00P5 |
| DOI |
https://doi.org/10.52926/JPMJPR00P5 |
研究代表者 |
関口 龍郎 東京工業大学, 大学院情報理工学研究科, リサーチアソシエイト
|
|---|
| 研究期間 (年度) |
2000 – 2003
|
| 概要 | インターネット上での人と人との双方向コミュニケーションを支援するソフトウェアを、安全で効率的に記述できるプログラミング言語システムの構築を目指します。そのアプローチとして、性能と安全性を両立させるためにポインタ演算のための型システムを利用し、機密性を高めるために言語での細粒度のアクセス制御を採り入れます。
|
|---|
| 研究領域 | 機能と構成 |
|---|
