<p>The textbook that might be most relevant to your question is <a href="https://www.springer.com/gp/book/9783540654100" rel="nofollow">Principles of Program Analysis</a>
by Nielson, Nielson and Hankin. It does cover dataflow analysis and its relationship to denotational semantics. It does not deal with axiomatic semantics though.</p>

CC BY-SA 3.0
2015-04-23T14:32:50.863Z
2015-04-23T14:32:50.863Z
Martin Berger
<p>I am supposed to write a small paper about DFA in OOP for a CS class in theory. But I am required to connect that (DFA) to axiomatic and denotational semantics!
I read few resources about axiomatic/denotational semantics but no one is talking specifically about their relation to Data Flow Analysis.
Can you please guide me about that, or at least guide me to a book, chapter or a paper that talks about that?</p>

<semantics><dfa><denotational-semantics>
What is the relation/difference between axiomatic and denotational semantics one one side, and the data flow analysis(DFA) on the other sied?
salouri
# What is the relation/difference between axiomatic and denotational semantics one one side, and the data flow analysis(DFA) on the other sied?

(Asked by: username_0 on 2015-04-23)

I am supposed to write a small paper about DFA in OOP for a CS class in theory. But I am required to connect that (DFA) to axiomatic and denotational semantics!
I read few resources about axiomatic/denotational semantics but no one is talking specifically about their relation to Data Flow Analysis.
Can you please guide me about that, or at least guide me to a book, chapter or a paper that talks about that?

**Tags:** semantics, dfa, denotational-semantics


---

## 1 answers

### Answer by username_1 on 2015-04-23. Score: 4 | Accepted answer

The textbook that might be most relevant to your question is [Principles of Program Analysis](https://www.springer.com/gp/book/9783540654100)
by Nielson, Nielson and Hankin. It does cover dataflow analysis and its relationship to denotational semantics. It does not deal with axiomatic semantics though.


---

