Incremental Computing based on Program Transformations
Incremental Computing based on Program Transformations
基于程序转换的增量计算
批准号：
19K11896
负责人：
Morihata Akimasa
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
パラメトリシティに基づくプログラム微積分
基于参数化的程序演算
基于参数化的程序演算
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[加藤直斗, 岩崎英哉, 石山泰地，荒堀喜貴，権藤克彦, 森畑明昌]
通讯作者：
森畑明昌
Conjuring Fusion Laws via Relational Calculus
通过关系微积分召唤融合定律
通过关系微积分召唤融合定律
DOI：
10.2197/ipsjjip.31.21
发表时间：
2023
期刊：
Journal of Information Processing
影响因子：
--
作者：
[Kazuki Chugo, Yukinori Sato, Morihata Akimasa]
通讯作者：
Morihata Akimasa
配列集約ループの実行時情報を用いた漸増化による効率化
使用数组聚合循环的运行时信息通过增量增加来提高效率
使用数组聚合循环的运行时信息通过增量增加来提高效率
DOI：
--
发表时间：
2021
期刊：
情報処理学会論文誌 プログラミング
影响因子：
--
作者：
[松田 知樹, 森畑 明昌]
通讯作者：
森畑 明昌
パラメトリック多相型からの融合変換類規則の自動導出
从参数多态类型自动推导融合变换类规则
从参数多态类型自动推导融合变换类规则
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[松田 知樹, 森畑 明昌, 森畑 明昌]
通讯作者：
森畑 明昌
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[松田 知樹, 森畑 明昌, 森畑 明昌, Akimasa Morihata]
通讯作者：
Akimasa Morihata
Program Parallelization based on Algebraic Properties and Types
-
批准号：15K15965
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.41万
-
财政年份：2015
-
负责人：Morihata Akimasa
-
依托单位：