摘要：全程序归纳：一种用于证明数组操作程序的（一类）量化和非量化属性的新型验证技术
作者：Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
论文ID：2209.12456
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-09-27
PDF 下载： 英文版 中文版pdf翻译中