副作用を扱うＧｏＩ意味論の確立と、高位合成技術・確率的プログラミングへの応用
副作用を扱うＧｏＩ意味論の確立と、高位合成技術・確率的プログラミングへの応用
建立处理副作用的 GoI 语义及其在高级综合技术和随机编程中的应用
批准号：
16J06849
负责人：
室屋 晃子
金额：
$1.22万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-22 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
プログラムの模倣合同性の危険対解析による自動判定
-
批准号：22K17850
-
项目类别：Grant-in-Aid for Early-Career Scientists
-
资助金额：$2.75万
-
财政年份：2022
-
负责人：室屋 晃子
-
依托单位：