Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках

В работе рассмотрена специализация программ на основе метода частичных вычислений применительно к программам на объектно-ориентированных языках. Частичные вычисления хорошо разработаны для функциональных языков, однако требуется их дальнейшее развитие для объектно-ориентированных языков. Дан обзор возможностей существующих специализаторов для языков этого класса, указаны их недостатки и сформулированы проблемы, требующие решения.