Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis (Q131019903)
scientific article published on 08 November 2023
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis |
scientific article published on 08 November 2023 |
Statements
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis (English)
Jingbo Lu
Dongjie He
Wei Li
Yaoqing Gao
Jingling Xue
8 November 2023
736-747
