Theory of software verification by separation logic
Theory of software verification by separation logic
分离逻辑的软件验证理论
批准号：
15K00027
负责人：
Tatsuta Makoto
金额：
$3.0万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Makoto Tatsuta and Daisuke Kimura]
通讯作者：
Makoto Tatsuta and Daisuke Kimura
Decidability of Entailments in Separation Logic with Arrays
数组分离逻辑中蕴涵的可判定性
数组分离逻辑中蕴涵的可判定性
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[永嶋裕樹, 白柳潔, Daisuke Kimura]
通讯作者：
Daisuke Kimura
DOI：
10.1016/j.tcs.2016.04.004
发表时间：
2016
期刊：
Theoretical Computer Science
影响因子：
1.1
作者：
[櫻井優太, 関川浩, Mahmudul Faisal Al Ameen and Makoto Tatsuta]
通讯作者：
Mahmudul Faisal Al Ameen and Makoto Tatsuta
Decidability and Undecidability in Symbolic-Heap System with Inductive Definitions
具有归纳定义的符号堆系统中的可判定性和不可判定性
具有归纳定义的符号堆系统中的可判定性和不可判定性
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Akiyuki Katayama, Kiyoshi Shirayanagi, Makoto Tatsuta and Daisuke Kimura]
通讯作者：
Makoto Tatsuta and Daisuke Kimura
Translation of Symbolic Heaps with Monadic Inductive Definitions into Monadic Second-Order Logic
将具有一元归纳定义的符号堆转换为一元二阶逻辑
将具有一元归纳定义的符号堆转换为一元二阶逻辑
DOI：
--
发表时间：
2016
期刊：
Proceedings of the 18th JSSST Workshop on Programming and Programming Languages
影响因子：
--
作者：
[片山彰之, 白柳潔, Makoto Tatsuta and Daisuke Kimura]
通讯作者：
Makoto Tatsuta and Daisuke Kimura
共 7 条
Software verification system by separation logic
-
批准号：18H03226
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.82万
-
财政年份：2018
-
负责人：Tatsuta Makoto
-
依托单位：
海外基金