Схемы программ как математические модели преобразований программ
Схемы программ как математические модели преобразований программ
Keywords:
Схемы программ как математическиеAbstract
Аннотация. Cхемы программ являются наиболее изученными математическими моделями программ для вычислительных машин. Для первой математической модели программы была построена полная теория. Схема программы описывает строение множества программ, получающиеся из схемы путѐм задания различных интерпретаций. Благодаря различным способам моделирования программирование на их основе стало наиболее перспективным.
References
Б.Ф. Абдурахимов, Ш.И. Ходиев. ―Технологии создания больших программных комплексов‖. Учебное пособие. - Ташкент, изд. Voris. 2014. –320 с.
Альфред В. Ахо, Моника С. Лам, Рави Сети, Джеффри Д. Ульман Компиляторы: принципы, технологии и инструментарий = Compilers: Principles, Techniques, and Tools. — 2 изд. — М.:Вильямс, 2008. — ISBN 978-5-8459-1349-4
Касьянов В.Н., Касьянова Е.В. Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований. System Informatics (Системная информатика), No. 19 (2021). с. 3-17.
Шелехов В.И. Доказательное построение, верификация и синтез предикатных программ // Знания-Онтологии-Теории (ЗОНТ-2017), Том 2. — Институт Математики СО РАН, Новосибирск, 2017. — С. 156-165.
