Статья по информатике, вычислительной технике, телекоммуникациям: О некоторых задачах анализа и трансформации программ