A new data flow analysis model for TDM

2012 ◽  
Author(s):  
Alok Lele ◽  
Orlando Moreira ◽  
Pieter J.L. Cuijpers
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Analysis Model ◽  
Data Flow Analysis

scholarly journals Abstract Interpretation in the Operational Semantics Hierarchy

1997 ◽  
Vol 4 (2) ◽  
Author(s):  
David A. Schmidt
Keyword(s):  
Model Checking ◽  
Abstract Interpretation ◽  
Data Flow ◽  
Flow Analysis ◽  
Operational Semantics ◽  
Second Order ◽  
Analysis Model ◽  
Small Step ◽  
Data Flow Analysis ◽  
First Order

We systematically apply the principles of Cousot-Cousot-style abstract interpretation (a.i.) to the hierarchy of operational semantics definitions - flowchart, big-step, and small-step semantics. For each semantics format we examine the principles of safety and liveness interpretations, first-order and second-order analyses, and termination properties. Application of a.i. to data-flow analysis, model checking, closure analysis, and concurrency theory are demonstrated. Our primary contributions are separating the concerns of safety, termination, and efficiency of representation and showing how a.i. principles apply uniformly to the various levels of the operational semantics hierarchy and their applications.

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