关注
Eddie Jones
Eddie Jones
University of Bristol
在 bristol.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
CycleQ: an efficient basis for cyclic equational reasoning
E Jones, CHL Ong, S Ramsay
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
82022
Intensional datatype refinement: with application to scalable verification of pattern-match safety
E Jones, S Ramsay
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021
52021
Higher-Order MSL Horn Constraints
J Jochems, E Jones, S Ramsay
Proceedings of the ACM on Programming Languages 7 (POPL), 2017-2047, 2023
22023
Lightweight Approaches to the Verification of Functional Programs
EC Jones
University of Bristol, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–4
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交