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

• Datum: 2011
• 1. Verfasser: Львов, М.С.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут програмних систем НАН України 2011
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/50996
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: М.С. Львов / М.С. Львов // Пробл. програмув. — 2011. — № 4. — С. 23-35. — Бібліогр.: 14 назв. — рос.

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