A systematic approach for developing practical programming languages
A systematic approach for developing practical programming languages
开发实用编程语言的系统方法
批准号：
15K15964
负责人：
Ueno Katsuhiro
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(13)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Finitary polymorphism for optimizing type-directed compilation
用于优化类型定向编译的有限多态性
用于优化类型定向编译的有限多态性
DOI：
10.1145/3236776
发表时间：
2018
期刊：
Journal Proceedings of the ACM on Programming Languages (PACMPL)
影响因子：
--
作者：
[Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima]
通讯作者：
Hisayuki Mima
Progress report: Ruby 3における静的型解析の実現に向けて
进度报告：迈向 Ruby 3 中静态类型分析的实现
进度报告：迈向 Ruby 3 中静态类型分析的实现
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[遠藤 侑介, 松本 宗太郎, 上野 雄大, 住井 英二郎, 松本 行弘]
通讯作者：
松本 行弘
多相関数を含むプログラムの抽象解釈を用いた最適化
使用包含多相关系数的程序的抽象解释进行优化
使用包含多相关系数的程序的抽象解释进行优化
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[美馬久行, 上野雄大, 大堀淳]
通讯作者：
大堀淳
SML#のためのコードレベルデバッグ環境の構築に向けて
为 SML 构建代码级调试环境
为 SML 构建代码级调试环境
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[大野一樹, 上野雄大, 大堀淳]
通讯作者：
大堀淳
Typed template engine based on partially dynamic records
基于部分动态记录的类型化模板引擎
基于部分动态记录的类型化模板引擎
DOI：
10.11309/jssst.35.3_79
发表时间：
2018
期刊：
Computer Software
影响因子：
--
作者：
[逢坂美冬, 上野雄大, 大堀淳]
通讯作者：
大堀淳
共 10 条
海外基金