共 50 条
- [31] Demand-driven compositional symbolic execution TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 367 - +
- [37] The information logistics approach toward user demand-driven information supply CROSS-MEDIA SERVICE DELIVERY, 2003, 740 : 37 - 48
- [39] Demand-driven construction of call graphs COMPILER CONSTRUCTION, PROCEEDINGS, 2000, 1781 : 125 - 140
- [40] Static Backward Demand-Driven Slicing PROCEEDINGS OF THE 2015 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'15), 2015, : 115 - 126