首页> 外文OA文献 >Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs

【2h】

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs

机译：基于模块化堆抽象的堆操作程序内存泄漏检测

页面导航

著录项
相似文献
相关主题

著录项

作者
Longming Dong; Ji Wang; Liqian Chen;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatically refining partial specifications for heap-manipulating programs [J] . Shengchao Qin, Guanhua He, Chenguang Luo, Science of Computer Programming . 2014,第MARa1期

机译：自动完善堆操作程序的部分规范
2. Structuring the verification of heap-manipulating programs [J] . Nanevski Aleksandar, Vafeiadis Viktor, Berdine Josh ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第1期

机译：构建堆操作程序的验证
3. Verifying Safety Properties of Concurrent Heap-Manipulating Programs [J] . ERAN YAHAV, MOOLY SAGIV ACM Transactions on Programming Languages and Systems . 2010,第5期

机译：验证并发堆操作程序的安全属性
4. Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs [C] . Dong Longming, Wang Ji, Chen Liqian 19th Asia-Pacific Software Engineering Conference.;vol. 1. . 2012

机译：基于模块化堆抽象的堆操作程序的内存泄漏检测
5. Automatic techniques for proving correctness of heap-manipulating programs. [D] . Qiu, Xiaokang. 2013

机译：证明堆操作程序正确性的自动技术。
6. Heap: a highly sensitive and accurate SNP detection tool for low-coverage high-throughput sequencing data [O] . Masaaki Kobayashi, Hajime Ohyanagi, Hideki Takanashi, 2017

机译：堆：一种高灵敏准确的SNP检测工具用于低覆盖率高通量测序数据
7. Template-Based Verification of Heap-Manipulating Programs [O] . Viktor Malik, Martin Hruska, Peter Schrammel, 2018

机译：基于模板的堆操纵程序验证
8. Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs [R] . Magill, S. 2010

机译：仪器分析：一种自动生成堆操作程序数值抽象的方法

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs

著录项

相似文献

相关主题

期刊订阅