О подходах к преобразованию программ в системе САПФОРтезисы доклада