предикатное программирование

Зубарев А.Ю. Анализ типов в трансляторе с языка предикатного программирования // Системная информатика. — . — № 9.  — С. 1-22
Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // Системная информатика. — . — № 16.  — С. 75-102
Шелехов В.И. Верификация программы преобразования строки в целое число // Системная информатика. — . — № 17.  — С. 43-90
Касьянов В.Н. Касьянова Е.В. Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований // Системная информатика. — . — № 19.  — С. 1-14
Шелехов В.И. Списки и строки в предикатном программировании // Системная информатика. — . — № 3.  — С. 25-43
Шелехов В.И. Сравнение технологий автоматного программирования и Event-B // Системная информатика. — . — № 18.  — С. 53-84
Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // Системная информатика. — . — № 18.  — С. 1-34
Тумуров Э.Г. Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // Системная информатика. — . — № 16.  — С. 103-136
Подписаться на предикатное программирование