共 50 条
- [41] Interprocedural pointer alias analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 21 (04): : 848 - 894
- [42] Effect of pressure-sensitive demand on surge analysis JOURNAL AMERICAN WATER WORKS ASSOCIATION, 2009, 101 (04): : 100 - +
- [44] Precise flow-insensitive may-alias analysis is NP-hard ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (01): : 1 - 6
- [48] A demand-driven analyzer for data flow testing at the integration level PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 575 - 584
- [49] Demand-driven less-than analysis PROCEEDINGS OF THE 21ST BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES (SBLP 2017), 2017,
- [50] Demand-Driven Refinement of Points-to Analysis 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019), 2019, : 264 - 265