高级检索
个人中心
切换机构账号
切换个人账号
退出
登录
注册
专业板块
专题板块
大众板块
切换机构账号
切换个人账号
高级检索
个人中心
退出
高级检索
登录
注册
目录
首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81604,"Name":"计算机软件"},{"ID":81605,"Name":"软件基础理论"},{"ID":81609,"Name":"程序验证"}]
分离逻辑
/separation logic/
最后更新
2024-12-04
浏览
190
次
最后更新
2024-12-04
浏览
190
次
分享到...
QQ好友
微信
QQ空间
新浪微博
微信
QQ空间
新浪微博
X
分享到
- 微信
0
意见反馈
一键引用
文献引用
复制
一种支持指针程序验证的程序逻辑。
是对
霍尔逻辑
的扩充。
英文名称
separation logic
所属学科
计算机科学技术
精选发现
相关条目
阅读历史
程序验证
纸书购买
意见反馈
提 交
感谢您的反馈
我们会尽快处理您的反馈！
谢谢！
×
试用结束，开通会员即可查阅全文
对不起，您所在机构没有获得相应使用权限。若需获得更多服务，请与您所在机构的负责部门或本网站客服联系。
京公网安备 11010202008139号
