高機能高信頼多相型プログラミング言語の実現

高功能、高可靠的多态编程语言的实现

• 批准号: 13224043
• 负责人: 大堀 淳
• 金额: --
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (C)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13224043/
• 关键词: プログラミング言語; 多相型システム; 多相型レコード計算; コンパイラ; 言語処理系

本研究の目的は,他言語との高い相互運用可能性(inter-operability)と外部資源の柔軟で安全なアクセスが可能な新しい多相型プログラミング言語実現の基礎の確立およびプロトタイプ言語の実装である.平成13年度は,研究期間開始以降の約6月間にて以下の項目について研究を行い,所期の成果をあげることができた.研究実績の概要は以下の通りである.1.言語の仕様の決定そのフロントエンドの構築目指す言語の型システムの仕様を確立するとともに,その実現上の技術的問題点を明らかにした.その概要は,"Proof-Directed Compilation for Inter-operable Languages"と題する論文にまとめるとともに,その内容を2nd Asian Worksop on Programming Languages and Systems,"Dec. 001,Daejon, Koreaにて口頭発表した.さらに,技術的問題の解明のために,目指す言語のフロントフロントを構築した.2.オブジェクト指向言語と相互運用のための型理論の構築多相型レコード計算の型理論を拡張し,JAVA等のオブジェグト指向言語との連携を可能とする多相型システムを構築した.成果は,本年度中に国際会議に投稿予定である.3.データベースシステムとの連携のための型理論の構築データベースシステムやXML処理系と多相型レコード計算との統合の研究を行い,統合システムの設計を行った.

The purpose of this study is to establish the basis for the realization of multi-phase speech by establishing the high inter-operability of speech and the flexibility and security of external resources. Heisei 13th year, the research period began to decline about June, the following projects were carried out, the expected results were carried out. A summary of the results of the study is as follows: 1. The technical problems in the determination of speech patterns and in the construction of target speech patterns and in the establishment of speech patterns and in the implementation of these problems are described. An overview is included in the paper titled "Proof-Directed Compilation for Inter-operable Languages", and the content was presented orally in the 2nd Asian Worksop on Programming Languages and Systems,"Dec. 001,Daejon, Korea. The problem of technology is solved and the construction of speech is pointed out. 2. The theory of multi-phase computation is constructed by the theory of multi-phase computation, which is pointed out by the theory of multi-phase computation. The results of this year's international conference are scheduled to be submitted. 3. The construction of the model theory of the model and the integration of XML processing system and multiphase computing are carried out.