Towards parallel programming environment with certified correctness and complexity
Towards parallel programming environment with certified correctness and complexity
迈向具有经过认证的正确性和复杂性的并行编程环境
批准号：
15K15974
负责人：
Emoto Kento
金额：
$2.83万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
頂点部分集合変数を備えた大規模グラフ計算用領域特化言語
使用顶点子集变量进行大规模图计算的领域特定语言
使用顶点子集变量进行大规模图计算的领域特定语言
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[定平 典久, 江本 健斗]
通讯作者：
江本 健斗
Think Like a Vertex, Behave Like a Function!--A Functional DSL for Vertex-centric Big Graph Processing--
像顶点一样思考，像函数一样行为！--用于以顶点为中心的大图处理的函数式 DSL--
像顶点一样思考，像函数一样行为！--用于以顶点为中心的大图处理的函数式 DSL--
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Kento Emoto, Kiminori Matsuzaki, Zhejiang Hu, Akimasa Morihata, Hideya Iwasaki]
通讯作者：
Hideya Iwasaki
Coqを用いた高度なプログラム運算定理の検証に向けて
使用 Coq 验证高级程序运算定理
使用 Coq 验证高级程序运算定理
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[村田 康佑 , 江本 健斗]
通讯作者：
江本 健斗
Coqにおける可読性の高い形式的証明に向けて
在 Coq 中实现高度可读的形式证明
在 Coq 中实现高度可读的形式证明
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[村田 康佑, 江本 健斗]
通讯作者：
江本 健斗
A DSL for graph parallel programming with vertex subsets
用于使用顶点子集进行图并行编程的 DSL
用于使用顶点子集进行图并行编程的 DSL
DOI：
10.1007/s11227-019-02821-w
发表时间：
2019
期刊：
The Journal of Supercomputing
影响因子：
--
作者：
[Kento Emoto, Fumihisa Sadahira]
通讯作者：
Fumihisa Sadahira
共 12 条
海外基金