Towards Typed Intermediate Languages for Safe Parallel Computing Bases among Multiple High-Level Languages
Towards Typed Intermediate Languages for Safe Parallel Computing Bases among Multiple High-Level Languages
多种高级语言之间安全并行计算基础的类型化中间语言
批准号：
26540030
负责人：
YASUGI Masahiro
金额：
$2.41万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
メモリモデルを考慮した汎用型付中間言語設計に向けて
走向考虑内存模型的通用类型中间语言设计
走向考虑内存模型的通用类型中间语言设计
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Takuji Tsuda, Yuka Komai, Yuya Sasaki, Takahiro Hara, Shojiro Nishio, 八杉 昌宏, 八杉 昌宏, 八杉 昌宏]
通讯作者：
八杉 昌宏
複数言語による正しい並列プログラミングのための計算基盤の検討
使用多种语言进行正确并行编程的计算基础设施研究
使用多种语言进行正确并行编程的计算基础设施研究
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Takuji Tsuda, Yuka Komai, Yuya Sasaki, Takahiro Hara, Shojiro Nishio, 八杉 昌宏]
通讯作者：
八杉 昌宏
安全な並列計算向け型検査方式の例題を用いた検討
使用安全并行计算类型检查方法示例的研究
使用安全并行计算类型检查方法示例的研究
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Takuji Tsuda, Yuka Komai, Yuya Sasaki, Takahiro Hara, Shojiro Nishio, 八杉 昌宏, 八杉 昌宏]
通讯作者：
八杉 昌宏
Towards Highly Universal Typed Intermediate Languages
-
批准号：23650013
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.25万
-
财政年份：2011
-
负责人：YASUGI Masahiro
-
依托单位：
Enhancing and Exploiting a Language Mechanism for Legitimate Manipulation of Execution States
-
批准号：21300008
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.48万
-
财政年份：2009
-
负责人：YASUGI Masahiro
-
依托单位：