Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
复制标题
用于 nuHFL(Z) 有效性检查的谓词抽象和 CEGAR
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Ryota Suzuki and Takeshi Tsukada
中科院分区：
文献类型：
--
作者：
Naoki Iwayama;Naoki Kobayashi;Ryota Suzuki and Takeshi Tsukada
登录
查看更多内容
作为保留类型推理的高阶程序验证
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
山森 章弘;小林隆志;後藤浩之;村岡 大輔，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno;寄高 啓司，松井 健，八杉 昌宏，平石 拓，馬谷 誠二;後藤浩之，稲谷昌之，羽田浩二，池田貴昭，高屋俊康，木村紗也佳，秋山良平，澤田純男，満永仁志，飯山かほり，盛川仁;Hiroshi Unno;後藤浩之，田中伸明，澤田純男，稲谷栄巳;Sho Torii;奥野 伸吾，平石 拓，中島 浩，八杉 昌宏，瀬々 潤;後藤浩之，羽田浩二，澤田純男，吉田望，大内徹;新垣芳一，澤田純男，後藤浩之;諏訪 将大，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno
通讯作者：
Hiroshi Unno
用于验证的高阶约束喇叭子句
影响因子：
--
作者：
Cathcart Burn T
通讯作者：
Cathcart Burn T
学习细化类型
DOI：
10.1145/2784731.2784766
发表时间：
2015
期刊：
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
He Zhu;A. Nori;S. Jagannathan
通讯作者：
S. Jagannathan
DOI：
--
发表时间：
2016
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
He Zhu;G. Petri;S. Jagannathan
通讯作者：
S. Jagannathan
通过 Horn 约束优化进行细化类型推断
DOI：
10.1007/978-3-662-48288-9_12
发表时间：
2015
期刊：
Proceedings of SAS 2015, LNCS
影响因子：
--
作者：
Kodai Hashimoto;Hiroshi Unno
通讯作者：
Hiroshi Unno