researchr - search publication data-flow analysis

researchr

You are not signed in
Sign in
Sign up

6695 publication results matching 'data-flow analysis'

FlowSpec: A Declarative Specification Language for Intra-Procedural Flow-Sensitive Data-Flow Analysis
… Data-flow analysis is the static analysis of programs to estimate … analyses inform optimizations.

Data-flow analysis has an established theoretical foundation. What lags behind is implementations of data-flow analysis …
Jeff Smits, Guido Wachsmuth, Eelco Visser. JCL (JVLC), 57:100924, 2020. [doi]
Extracting a data flow analyser in constructive logic
… A constraint-based data flow analysis is formalised in the specification … a provably correct data flow analyser in Ocaml from the proof. The library … efficient constraint resolution and correctness proof of the analysis …
David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. TCS, 342(1):56-78, 2005. [doi]
Data Flow AnalysisUday P. Khedker. In The Compiler Design Handbook. pages 1-59, 2002.
A Lubricant for Data Flow AnalysisBarry K. Rosen. SICOMP, 11(3):493-511, 1982.
Linear data flow analysisSteven Ryan. SIGPLAN, 27(4):59-67, 1992. [doi]
Incremental Data Flow AnalysisBarbara G. Ryder. POPL 1983: 167-176
Data Flow Analysis for CCSHanne Riis Nielson, Flemming Nielson. birthday 2007: 311-327 [doi]
Accelerated Data-Flow AnalysisJérôme Leroux, Grégoire Sutre. SAS 2007: 184-199 [doi]
Interprocedural Data Flow AnalysisFrances E. Allen. ifip 1974: 398-402
Incremental Data-Flow AnalysisBarbara G. Ryder, Marvin C. Paull. TOPLAS, 10(1):1-50, 1988. [doi]
Data flow analysis for CobolH. Kao, T. Y. Chen. SIGPLAN, 19(7):18-21, 1984. [doi]
Architectural Data Flow AnalysisStephan Seifermann. wicsa 2016: 270-271 [doi]
Data Flow Analysis and Global OptimizationEtienne Morel. ac 1983: 289-316
Pathlistings Applied to Data Flow AnalysisJayashree Ramanathan, Ken Kennedy. ACTA, 16:253-273, 1981.
A Denotational Framework for Data Flow AnalysisFlemming Nielson. ACTA, 18:265-287, 1982.
A Framework for Partial Data Flow AnalysisRajiv Gupta, Mary Lou Soffa. ICSM 1994: 4-13
Elimination Algorithms for Data Flow AnalysisBarbara G. Ryder, Marvin C. Paull. ACM Comput. Surv., 18(3):277-316, 1986. [doi]
Data Flow Analysis in Software ReliabilityLloyd D. Fosdick, Leon J. Osterweil. ACM Comput. Surv., 8(3):305-330, 1976.
Monoids for Rapid Data Flow AnalysisBarry K. Rosen. SICOMP, 9(1):159-196, 1980.
Complexity of Bidirectional Data Flow AnalysisDhananjay M. Dhamdhere, Uday P. Khedker. POPL 1993: 397-408

Sign in or sign up to see more results.

runs on WebDSL