Об одном подходе к верификации алгебраических вычислений

• Дата: 2011
• Автор: Львов, М.С.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Інститут програмних систем НАН України 2011
• Теми: Теоретичні та методологічні основи програмування
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/50996
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: М.С. Львов / М.С. Львов // Пробл. програмув. — 2011. — № 4. — С. 23-35. — Бібліогр.: 14 назв. — рос.

Рассмотрен подход к верификации интерпретаторов многосортных алгебраических операций по их спецификациям, основанный на конструктивном уточнении понятия расширения многосортной алгебраической системы и доказательстве аксиом алгебраической системы. Этот подход иллюстрируется примерами верификации инт...