Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C 论文

1996引用 284
DOI
Software Testing and Debugging TechniquesLogic, programming, and type systemsParallel Computing and Optimization Techniques
企业软件Parallel Computing and Optimization TechniquesLogic, programming, and type systemsSoftware Testing and Debugging Techniques
相关技术:Parallel Computing and Optimization Techniques
关系图谱

Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C · 相关事件

暂无数据