0
$\begingroup$

This question already has an answer here:

A newbie question, if I may... Could you be so kind and explain to me in plain english meaning of 'denotational semantics' and 'operational semantics'? I'm familiar with the definitions and have read a lot of other material, but still struggling with these concepts. Probalby I need some use cases... or a practical exercise :)

How to define denotational and operational semantics for a given programming language? Can it be done for any language or there are any prereqs? What is the usual approach: if I have a description of a PL, for instance, how to build these two semantics for it? What should I start with? What should I get at the end of the exercise?

Many thanks...

$\endgroup$

marked as duplicate by Dave Clarke Feb 23 '13 at 21:43

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.