О технологиях построения и обработки математических моделей программ

• Date: 2007
• Main Author: Львов, С.М.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем, журнал "Проблеми програмування" 2007
• Subjects: Формальні методи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/299
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: О технологиях построения и обработки математических моделей программ / С.М. Львов // Пробл. програмув. — 2007. — N 3. — С. 41-48. — Библиогр.: 6 назв. — рус.

Показаны проблемы, связанные с построением математических моделей программ, предназначенных для использования в системах автоматизации решения задач анализа и преобразования программ. В качестве такой системы рассмотрена система автоматического поиска и доказательства инвариантных равенств в програм...