Категория:Теория схем программ

Материал из WikiGrapp
Версия от 14:34, 9 октября 2019; KVN (обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к:навигация, поиск

Теория схем программ – один центральных разделов теоретического программирования, связанный с изучением структурных свойств и преобразований программ. В нем объектами исследования являются упрощенные математические модели программы, в которых с той или иной детализацией отражено строение программы, взаимодействие составляющих ее компонентов. Например, в операторных схемах программ такие понятия, как оператор, операнд, переменная, выполнение и т.д., являются обобщением соответствующих понятий существующих языков программирования. Каждая операторная схема программы моделирует целый класс конкретных программ, имеющих одинаковую информационно–логическую структуру, т.е. описывает его таким образом, что множество преобразований, корректных для схемы, образуется из преобразований, корректных для всех моделируемых ею программ. При переходе от программы к моделирующей ее схеме игнорируются несущественные особенности (например, синтаксические) конкретного языка программирования и сохраняются только те семантические свойства программы, которые используются при ее анализе и преобразовании.