Algebraic semantics of an imperative programming language as a compiler abstract model

It is shown in the paper that state-based algebraic semantics of an imperative program can be regarded as a compiler abstract model and can serve as a good assistant of the compiler designer.