Program verification by refinment type system for call-by-name programs
Program verification by refinment type system for call-by-name programs
通过细化类型系统对按名称调用程序进行程序验证
批准号：
18K18030
负责人：
Sato Ryosuke
金额：
$2.58万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
Refinement types for call-by-name programs
按名称调用程序的细化类型
按名称调用程序的细化类型
DOI：
--
发表时间：
2023
期刊：
影响因子：
--
作者：
[石野ちあき, 森本尚之, 山田俊行, 佐藤 亮介]
通讯作者：
佐藤 亮介
Integrated Study on de facto transformation of the Charter of the United Nations
-
批准号：19K13520
-
项目类别：Grant-in-Aid for Early-Career Scientists
-
资助金额：$2.16万
-
财政年份：2019
-
负责人：Sato Ryosuke
-
依托单位：