Example: a compiler for a small imperative language

The primary objective of this section is to consider the traditional compiler writing techniques in the framework of Refal Plus. These techniques are applied to a compiler for a small imperative language.

The example language and the compiler are similar to those described in

[War1980] D.H.D. Warren. Logic Programming and Compiler Writing. 97--125. Software - Practice and Experience. 10. 1980.

Illustrative though this compiler may be, it exceeds in size all other example programs dealt with in the book, and consists of several modules.