трансформации программ

Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // Системная информатика. — . — № 15.  — С. 45-64
Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // Системная информатика. — . — № 16.  — С. 75-102
Шелехов В.И. Верификация программы преобразования строки в целое число // Системная информатика. — . — № 17.  — С. 43-90
Шелехов В.И. Дедуктивная верификация и оптимизация предикатной программы конкатенации строк // Системная информатика. — . — № 12.  — С. 61-84
Булгаков К.В. Каблуков И.В. Тумуров Э.Г. Шелехов В.И. Оптимизирующие трансформации списков и деревьев в системе предикатного программирования // Системная информатика. — . — № 9.  — С. 63-92
Шелехов В.И. Предикатная программа вставки в АВЛ-дерево // Системная информатика. — . — № 9.  — С. 23-42
Каблуков И.В. Шелехов В.И. Разработка параллельной предикатной программы решения системы линейных уравнений методом Гаусса-Жордано // Системная информатика. — . — № 12.  — С. 41-60
Каблуков И.В. Шелехов В.И. Реализация оптимизирующих трансформаций в системе предикатного программирования // Системная информатика. — . — № 11.  — С. 21-48
Шелехов В.И. Сравнение технологий автоматного программирования и Event-B // Системная информатика. — . — № 18.  — С. 53-84
Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // Системная информатика. — . — № 18.  — С. 1-34
Тумуров Э.Г. Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // Системная информатика. — . — № 16.  — С. 103-136
Подписаться на трансформации программ