Practical framework for demand-driven interprocedural data flow analysis

被引：0

|

作者：

Hewlett-Packard Lab, Cambridge, United States ^{[1
]}

机构：

来源：

ACM Trans Program Lang Syst | / 6卷 / 992-1030期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] A practical framework for demand-driven interprocedural data flow analysis
Duesterwald, E
Gupta, R
Soffa, ML
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (06): : 992 - 1030
[2] Demand-driven interprocedural analysis for map-based abstract domains
Apinis, Kalmer
Vene, Varmo
Vojdani, Vesal
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 100 : 57 - 70
[3] EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
Feng, Yu
Wang, Xinyu
Dillig, Isil
Lin, Calvin
[J]. ACM SIGPLAN NOTICES, 2015, 50 (10) : 520 - 534
[4] Algorithm recognition based on demand-driven data-flow analysis
Alias, C
Barthou, D
[J]. 10TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2003, : 296 - 305
[5] Practical overview of demand-driven dispatch
Shebalov, Sergey
[J]. JOURNAL OF REVENUE AND PRICING MANAGEMENT, 2009, 8 (2-3) : 166 - 173
[6] Bidirectionality in flow-sensitive demand-driven analysis
Jaiswal, Swati
Khedker, Uday P.
Chakraborty, Supratik
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2020, 190
[7] DATA-FLOW AND EDUCATION - DATA-DRIVEN AND DEMAND-DRIVEN DISTRIBUTED COMPUTATION
ASHCROFT, EA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 1 - 50
[8] A demand-driven analyzer for data flow testing at the integration level
Duesterwald, E
Gupta, R
Soffa, ML
[J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, : 575 - 584
[9] Demand-driven pointer analysis
Heintze, N
Tardieu, O
[J]. ACM SIGPLAN NOTICES, 2001, 36 (05) : 24 - 34
[10] DEMAND-DRIVEN INTERPRETATION OF FP PROGRAMS ON A DATA-FLOW MULTIPROCESSOR
WEI, YH
GAUDIOT, JL
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (08) : 946 - 966

← 1 2 3 4 5 →