A grammar-based data-flow analysis to stop deforestation

2005 ◽  
pp. 335-351 ◽  
Author(s):  
Morten Heine Sørensen
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

scholarly journals Incremental data flow analysis in a structured program editor

1984 ◽  
Vol 19 (6) ◽  
pp. 132-143 ◽  
Author(s):  
Frank Kenneth Zadeck
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis ◽  
Structured Program

scholarly journals Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations

2007 ◽  
Vol 176 (3) ◽  
pp. 97-108 ◽  
Author(s):  
Wolfram Amme ◽  
Marc-André Möller ◽  
Philipp Adler
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
General Concept ◽  
Data Flow Analysis

scholarly journals On Probabilistic Techniques for Data Flow Analysis

2007 ◽  
Vol 190 (3) ◽  
pp. 59-77 ◽  
Author(s):  
Alessandra Di Pierro ◽  
Chris Hankin ◽  
Herbert Wiklicky
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

May/must analysis and the DFAGen data-flow analysis generator

2009 ◽  
Vol 51 (10) ◽  
pp. 1440-1453 ◽  
Author(s):  
Andrew Stone ◽  
Michelle Strout ◽  
Shweta Behere
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

Polyhedral Data-Flow Analysis for Data Storage and Transfer Exploration

1998 ◽  
pp. 121-153
Author(s):  
Francky Catthoor ◽  
Sven Wuytack ◽  
Eddy De Greef ◽  
Florin Balasa ◽  
Lode Nachtergaele ◽  
...  
Keyword(s):  
Data Storage ◽  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis
Sign in / Sign up

Export Citation Format

Share Document