高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究

研究具有程序演化支持的通用系统，保证高级并行语言的各个安全方面

• 批准号: 13780203
• 负责人: 五十嵐 淳
• 金额: $ 1.41万
• 依托单位: Kyoto University (2002)The University of Tokyo (2001)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13780203/
• 关键词: 型システム; 並行プログラム; 安全性; Java; 多相性; 資源使用解析; generics; プログラム進化

ここ数年のインターネットおよびWorld Wide Web(WWW)の普及,また並列計算機の普及に伴い分散/並列環境上でのプログラミング技術が注目を集めている。本研究では,分散/並列プログラミングにおける様々な安全性(デッドロック/競合状態が起きないこと,計算資源が正しく使われること)を保証するための統一的な枠組みを構築することを目的としている.本年度の研究成果は以下の通り.1.オブジェクト指向言語の再利用性を安全に高めるための言語機構の考案.近年,Javaなどで書かれたオブジェクト指向プログラムの汎用性を高めるための言語機構として,汎用クラス(generics)という,クラス定義中の型情報をパラメータ化できる機構が実用化されつつある.これにより,リスト・木などの汎用データ構造の記述において再利用性が高められることが知られている.しかし,従来のオブジェクト指向言語に備わっていた型に基づく再利用の機構である部分型との統合についてはあまり研究されてこなかった.本年度の研究では汎用クラスのための新しい部分型の機構を提案した.具体的には,核言語とその型システム・意味論を形式化し,提案する機構が型安全であることを証明した.これにより,プログラムの汎用性・再利用性がさらに高まり,従来のプログラムを汎用クラスを使って書き換える際に生じがちであった,型の制限による困難も緩和されると考えられる.

In recent years, the popularity of the Internet and the World Wide Web(WWW) has been accompanied by the popularity of parallel computers and the focus of attention on distributed/parallel environments. In this study, the security of distributed/parallel computing systems is guaranteed, and the unified computing system is constructed. The research results of this year are as follows: 1. A case study of speech mechanism pointing to speech reuse, safety and security. In recent years,Java has been widely used in the field of speech mechanism, generics, and type information in the definition of speech mechanism. This is a description of the structure of the general use of wood. In addition, the research on the mechanism of basic reuse of speech, preparation and integration of speech and language is also carried out. This year's research has been widely used to propose new types of institutions. Specific, nuclear language, type, meaning theory, formalization, proposal, organization, type, security, proof. The general availability and reusability of the software are high, and the general availability and reusability of the software are low.

项目成果

Atsushi Igarashi: "On Variance-Based Subtyping For Parametric Types"Proceedings of the 16th European Conference on Object-Oriente Programming (Springer LNCS series). 2374. 441-469 (2002)

Atsushi Igarashi：“On Variance-Based Subtyping For Parametric Types”第 16 届欧洲面向对象编程会议论文集（Springer LNCS 系列）。

山本 和樹: "擬似引用を持つ型付計算体系λq"日本ソフウェア科学会第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集. 87-102 (2003)

Kazuki Yamamoto：“带有伪引文的类型计算系统 λq”日本软件学会第五届编程和编程语言研讨会 (PPL2003) 论文集 87-102 (2003)。

A.Igarashi, N.Kobayashi: "Resource Usage Analysis"Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages(POPL2002). 331-342 (2002)

A.Igarashi、N.Kobayashi：“资源使用分析”ACM SIGPLAN/SIGACT 编程语言原理研讨会论文集（POPL2002）。

A.Igarashi, B.C.Pierce, P.Wadler: "Featherweight Java : A Minimal Core Calculus for Java and GJ"ACM Transactions of Programming Languages and Systems. 23(3). 396-450 (2001)

A.Igarashi、B.C.Pierce、P.Wadler：“Featherweight Java：Java 和 GJ 的最小核心微积分”ACM 编程语言和系统汇刊。