基于线性逻辑编程HACL的类型化并行面向对象语言的实现-猫眼课题宝

基于线性逻辑编程HACL的类型化并行面向对象语言的实现

批准号：

07780232

负责人：

小林直樹

金额：

$0.77万

依托单位：

The University of Tokyo

依托单位国家：

日本

项目类别：

Grant-in-Aid for Encouragement of Young Scientists (A)

财政年份：

1995

资助国家：

日本

项目状态：

已结题

起止时间：

1995 至 --

来源：

https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-07780232/

关键词：

並列計算並列言語並列オブジェクト指向静的解析

项目摘要

项目成果

小林直樹的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

本年度はまず、すでに我々が提案していた線形論理に基づく並列計算の枠組であるACLを高階に拡張したHACLを提案し、その意味論・型システム等を与え、静的に型づけされた(HACLで書かれた)並列プログラムが実行時に型エラーを起こさない等の基本的な性質を証明した。また、それに基づいたインタプリタの処理系を作成して、HACLの特徴の一つである(多相型をもった)高階プロセスが非常に有効であることをプログラミングを通して確認した。さらに、HACLの上に、インヘリタンスをはじめとする種々の機能を備えた並列オブジェクト指向言語を実現でき、かつそのようにして実現された並列オブジェクト指向言語で書かれたプログラムがHACLの型システムをとおして型推論・型チェックが行なえることを示した。その副産物として、型推論をとおして並列オブジェクトのメソッドのディスパッチが定数コストで行なえるようにコンパイルできることも示した。これらの結果に基づいて実際に、並列オブジェクト指向言語のプログラムからHACLへのトランスレータのプロトタイプも作成した。また、HACLを含めた非同期通信に基づく並列言語の効率のよい実現のために、エフェクト解析の手法を応用した並列プログラムの通信に関する解析を行なう方法を提案し、HACLを通した定式化・基本的な性質の証明・解析システムのプロトタイプの実装を行なった。将来的にはこの静的解析システムをコンパイラに組み込み、並列プログラムの最適化コンパイルに役立てる予定である。上記理論的側面の研究と並行してHACLに基づいた処理系の実装を進めており、現在シングルCPUのワークステーション用のコンパイラのプロトタイプがほぼ完成した状況である。

期刊论文(3)

专著(0)

科研奖励(0)

会议论文

Naoki Kobayashi, Benjamin C Pierce, and David N. Turner: "Linearity and the Pi-Calculus" Proceedings of ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (POPL'96). 358-371 (1996)

Naoki Kobayashi、Benjamin C Pierce 和 David N. Turner：“线性和 Pi 微积分”ACM SIGACT/SIGPLAN 编程语言原理研讨会论文集 (POPL96)。

DOI： --

发表时间：

期刊：

影响因子： --

作者：

[]