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

• Date: 2011
• Main Author: Львов, М.С.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2011
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/50996
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: М.С. Львов / М.С. Львов // Пробл. програмув. — 2011. — № 4. — С. 23-35. — Бібліогр.: 14 назв. — рос.

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