Для цитирования: Васильев В.С., Легалов А.И. Оптимизация инварианта цикла в языке Пифагор. Моделирование и анализ информационных систем. 2018;25(4):347-357. https://doi.org/10.18255/1818-1015-2018-4-347-357

For citation: Vasilev V.S., Legalov A.I. Loop-invariant Optimization in the Pifagor Language. Modeling and Analysis of Information Systems. 2018;25(4):347-357. (In Russ.) https://doi.org/10.18255/1818-1015-2018-4-347-357