In a program specializer, the Residual Program Generator (RPG) takes as input a source program decorated with annotations provided by its binding time analyzer and produces a specialized version of the source program. CILPE is a program specializer dealing with programs written in SOOL, a simple Stack Object-Oriented Language. The paper describes the residual program generator that is a part of CILPE.
