Theory of Gradual Typing for Modern Programming Languages
Theory of Gradual Typing for Modern Programming Languages
现代编程语言的渐进类型理论
批准号：
17H01723
负责人：
Atsushi Igarashi
金额：
$11.98万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
高階契約に対するトレース意味論の完全抽象性
高阶合约的跟踪语义的完全抽象
高阶合约的跟踪语义的完全抽象
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[南條 陽史, 海野 広志, Hiroshi Unno, 井上 鉄也，中澤 巧爾]
通讯作者：
井上 鉄也，中澤 巧爾
Extending a Work-Stealing Framework with Priorities and Weights
使用优先级和权重扩展工作窃取框架
使用优先级和权重扩展工作窃取框架
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Ryusuke Nakashima, Hiroshi Yoritaka, Masahiro Yasugi, Tasuku Hiraishi, Seiji Umatani]
通讯作者：
Seiji Umatani
汎用送受信に対応したHOPEコンパイラの研究
支持通用发送接收的HOPE编译器研究
支持通用发送接收的HOPE编译器研究
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[橋本 孝太, 八杉 昌宏, 平石 拓, 馬谷 誠二]
通讯作者：
馬谷 誠二
非決定的顕在的契約計算
非确定性显式合约计算
非确定性显式合约计算
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[南條 陽史, 海野 広志, Hiroshi Unno, 井上 鉄也，中澤 巧爾, 西田 雄気，五十嵐 淳]
通讯作者：
西田 雄気，五十嵐 淳
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
具有归纳定义的符号堆循环证明的完整性
具有归纳定义的符号堆循环证明的完整性
DOI：
10.1007/978-3-030-34175-6_19
发表时间：
2019
期刊：
LNCS (APLAS 2019)
影响因子：
--
作者：
[Tatsuta Makoto, Nakazawa Koji, Kimura Daisuke]
通讯作者：
Kimura Daisuke
共 36 条
海外基金