权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

ネットワーク指向言語Javaの効率的実装の研究

面向网络语言Java的高效实现研究

基本信息

批准号：
10780196
负责人：
香川考司
金额：
$ 1.02万
依托单位：
Kagawa University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 1999
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10780196/
关键词：
メモリ管理型推論モナド

项目摘要

平成10年度までの研究でMLに似た先行評価型の関数型言語に対して、オブジェクトの寿命を推論する型システムの設計を行ない、プロトタイプの実装を行なった。これはTofteとTalpinらがML-Kitに実装した領域・エフェクト推論(region effect inference)と目的は似ているが、本研究のシステムでは、プログラムが明示的にオブジェクトの寿命を指定して、その指定の正当性をシステムがチェックする。このシステムではオブジェクトの生成時の領域の指定はML-Kitのシステムよりも簡略化できるが、逆にオブジェクトの使用時の領域の指定がML-Kitのシステムより煩雑になってしまった。このため、平成11年度は、型推論時に一種のサブタイピングを導入し、オブジェクトの使用時の領域の指定をより簡略化できるように型システムを改良した。さらに型システムや型推論アルゴリズムの健全性などの性質の研究を行なった。また実用的な再帰アルゴリズムに対しては、例えばマージソートの場合、領域に関する明示的な指定を2,3箇所に挿入すれば、オブジェクトの寿命を指定することが可能であることがわかった。今後は、この領域を用いたメモリ管理方式を用いてディジタル信号処理やインタラクティブプログラムなどの実時間性を要求される分野のライブラリを構築し、この方式でのプログラミングが大規模なアプリケーションにおいて実際に可能であるかどうか等を検討する必要がある。

The research conducted in 2010 focused on the design and implementation of advanced evaluation models and related digital speech systems, as well as life expectancy inference models. This study aims to establish a framework for the study of Tofte and Talpin ML-Kit, and to specify the validity of the framework. The system of ML-Kit is specified in the domain of ML-Kit when the system is generated and in the domain of ML-Kit when the system is used. In 2011, a new type of service system was introduced, and the new type of service system was simplified. A study on the soundness and properties of the system was carried out. For example, if you want to use the service, you can specify the service life of the service. In the future, it will be necessary to discuss the application of different management methods in different fields, such as signal processing, time requirements, and construction of different types of signal processing.