Специализатор CILPE: генерация остаточной программы

В методе частичных вычислений генератор остаточной программы (Residual Program Generator, RPG) по размеченной программе строит результат специализации. В данной работе описан генератор остаточной программы для размеченных программ на стековом объектно-ориентированном языке SOOL (Stack Object-Oriented Language). Описанный генератор остаточной программы используется в специализаторе CILPE.