Higher-order Program Verification as Renement Type Inference
Higher-order Program Verification as Renement Type Inference
复制标题
作为保留类型推理的高阶程序验证
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Hiroshi Unno
中科院分区：
文献类型：
--
作者：
山森 章弘;小林隆志;後藤浩之;村岡 大輔，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno;寄高 啓司，松井 健，八杉 昌宏，平石 拓，馬谷 誠二;後藤浩之，稲谷昌之，羽田浩二，池田貴昭，高屋俊康，木村紗也佳，秋山良平，澤田純男，満永仁志，飯山かほり，盛川仁;Hiroshi Unno;後藤浩之，田中伸明，澤田純男，稲谷栄巳;Sho Torii;奥野 伸吾，平石 拓，中島 浩，八杉 昌宏，瀬々 潤;後藤浩之，羽田浩二，澤田純男，吉田望，大内徹;新垣芳一，澤田純男，後藤浩之;諏訪 将大，八杉 昌宏，平石 拓，馬谷 誠二;Hiroshi Unno
登录
查看更多内容
细化选择
DOI：
10.1007/978-3-319-23404-5_3
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Dirk Beyer;Stefan Löwe;Philipp Wendler
通讯作者：
Philipp Wendler
HMC：使用抽象解释器验证功能程序
DOI：
--
发表时间：
2010
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Ranjit Jhala;R. Majumdar;A. Rybalchenko
通讯作者：
A. Rybalchenko
切片路径前缀：启用细化选择的有效方法
DOI：
10.1007/978-3-319-19195-9_15
发表时间：
2015
期刊：
--
影响因子：
--
作者：
Dirk Beyer;Stefan Löwe;Philipp Wendler
通讯作者：
Philipp Wendler
解决存在量化的喇叭子句
DOI：
10.1007/978-3-642-39799-8_61
发表时间：
2013
期刊：
影响因子：
--
作者：
Tewodros A. Beyene;Corneliu Popeea;Andrey Rybalchenko
通讯作者：
Andrey Rybalchenko
通过 Horn 约束优化进行细化类型推断
DOI：
10.1007/978-3-662-48288-9_12
发表时间：
2015
期刊：
Proceedings of SAS 2015, LNCS
影响因子：
--
作者：
Kodai Hashimoto;Hiroshi Unno
通讯作者：
Hiroshi Unno