Towards Typed Intermediate Languages for Safe Parallel Computing Bases among Multiple High-Level Languages

多种高级语言之间安全并行计算基础的类型化中间语言

• 批准号: 26540030
• 负责人: YASUGI Masahiro
• 金额: $ 2.41万
• 依托单位: Kyushu Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Challenging Exploratory Research
• 财政年份: 2014
• 资助国家: 日本
• 起止时间: 2014-04-01 至 2017-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-26540030/
• 关键词: 型付中間言語; 低水準言語; プログラミング言語処理系; 型検査; 並列計算; データレース; 高水準言語; 多次元配列; プログラミング言語; 計算機システム; ソフトウエア開発効率化・安定化; ディペンダブル・コンピューティング; ハイパフォーマンス・コンピューティング; メモリモデル

项目成果

メモリモデルを考慮した汎用型付中間言語設計に向けて

走向考虑内存模型的通用类型中间语言设计

• 发表时间: 2014
• 作者: Takuji Tsuda;Yuka Komai;Yuya Sasaki;Takahiro Hara;Shojiro Nishio;八杉 昌宏;八杉 昌宏;八杉 昌宏
• 通讯作者: 八杉 昌宏

複数言語による正しい並列プログラミングのための計算基盤の検討

使用多种语言进行正确并行编程的计算基础设施研究

• 发表时间: 2016
• 作者: Takuji Tsuda;Yuka Komai;Yuya Sasaki;Takahiro Hara;Shojiro Nishio;八杉 昌宏
• 通讯作者: 八杉 昌宏

安全な並列計算向け型検査方式の例題を用いた検討

使用安全并行计算类型检查方法示例的研究

• 发表时间: 2015
• 作者: Takuji Tsuda;Yuka Komai;Yuya Sasaki;Takahiro Hara;Shojiro Nishio;八杉 昌宏;八杉 昌宏
• 通讯作者: 八杉 昌宏