搜索结果: 1-1 共查到“计算机科学技术基础学科 Modular”相关记录1条 . 查询时间(0.046 秒)
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs
Languages Verification Experimentation
2016/5/24
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We first present a theory of h...