Advanced Programming Environment Based on Program Semantics
Advanced Programming Environment Based on Program Semantics
基于程序语义的高级编程环境
批准号：
15K00090
负责人：
Asai Kenichi
金额：
$3.0万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Principle and Practice of OCaml Type Debugger
OCaml类型调试器原理与实践
OCaml类型调试器原理与实践
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[伊藤 翔一朗, 林 晋平, 佐伯 元司, Kenichi Asai]
通讯作者：
Kenichi Asai
Agda による PHOAS を用いた CPS 変換の正当性の証明
Agda 使用 PHOAS 证明 CPS 转换的正确性
Agda 使用 PHOAS 证明 CPS 转换的正确性
DOI：
--
发表时间：
2018
期刊：
プログラミングおよびプログラミング言語ワークショップ論文集
影响因子：
--
作者：
[石尾 千晶, 山田 麗, 浅井 健一]
通讯作者：
浅井 健一
OCaml ステッパの拡張
扩展 OCaml 步进器
扩展 OCaml 步进器
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[古川 つきの, 浅井 健一]
通讯作者：
浅井 健一
動的束縛を用いた stepper の実装
使用动态绑定实现步进器
使用动态绑定实现步进器
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[脇川奈穂, 対馬かなえ, 浅井健一, 叢 悠悠，浅井 健一]
通讯作者：
叢 悠悠，浅井 健一
実用的な型エラースライサーの評価およびデータ活用に向けた取り組み
实用型误差切片器评价及数据利用的努力
实用型误差切片器评价及数据利用的努力
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[脇川 奈穂, 浅井 健一, 対馬 かなえ]
通讯作者：
対馬 かなえ
共 15 条
海外基金