Abstract
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.
File
zamulin.pdf1.36 MB
Pages
113-128