Proj
J-GLOBAL ID:202104008483002470
Research Project code:7700000661
インターコミュニュケーション・プログラミング
インターコミュニュケーション・プログラミング
National award number:JPMJPR00P5
Study period:2000 - 2003
Organization (1):
Principal investigator:
(
, 大学院情報理工学研究科, リサーチアソシエイト )
DOI:
https://doi.org/10.52926/JPMJPR00P5
Research overview:
インターネット上での人と人との双方向コミュニケーションを支援するソフトウェアを、安全で効率的に記述できるプログラミング言語システムの構築を目指します。そのアプローチとして、性能と安全性を両立させるためにポインタ演算のための型システムを利用し、機密性を高めるために言語での細粒度のアクセス制御を採り入れます。
Research program:
>
>
Parent Research Project:
機能と構成
Organization with control over the research:
Japan Science and Technology Agency
Reports :
Return to Previous Page