Practical Aspects of Specialization of Algol-like Programs

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.

• Type: Conference
• Year: 1996
• Where: DAGSTUHL
• Authors: Mikhail A. Bulyonkov, Dmitry V. Kochetov
• Keywords: DAGSTUHL 1996, DAGSTUHL 2007, Di Erent Variants, Imperative Languages, Polyvariant Specialization