共 50 条
- [1] Precise Data Flow Analysis in the Presence of Correlated Method Calls STATIC ANALYSIS (SAS 2015), 2015, 9291 : 54 - 71
- [2] INTERPROCEDURAL DATA FLOW ANALYSIS IN THE PRESENCE OF POINTERS, PROCEDURE VARIABLES, AND LABEL VARIABLES. Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 1980, : 83 - 94
- [5] Remote Procedure Calls for Improved Data Locality with the Epiphany Architecture COMPUTATIONAL SCIENCE - ICCS 2018, PT III, 2018, 10862 : 803 - 810
- [7] Data flow analysis of Java']Java programs in the presence of exceptions PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 389 - 395
- [8] Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers COMPILER CONSTRUCTION, PROCEEDINGS, 2006, 3923 : 17 - 31
- [10] POLYMORPHISM AND GENERALIZED PROCEDURE CALLS REVUE TECHNIQUE THOMSON-CSF, 1978, 10 (04): : 681 - 704