Abstract. A \linearized" scheme of polyvariant specialization for imperative languages is described in the paper. The scheme is intended for increasing e ciency of specialization. Main properties of the scheme are linear generation of residual code and single memory shared by di erent variants of specialization process.
Mikhail A. Bulyonkov, Dmitry V. Kochetov