关注
Yasunari Watanabe
Yasunari Watanabe
在 comp.nus.edu.sg 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Certifying the synthesis of heap-manipulating programs
Y Watanabe, K Gopinathan, G Pîrlea, N Polikarpova, I Sergey
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
132021
A Framework For Certified Program Synthesis
Y Watanabe
National University of Singapore, 2021
12021
系统目前无法执行此操作,请稍后再试。
文章 1–2