Категория:Теория схем программ: различия между версиями

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

Текущая версия от 14:34, 9 октября 2019

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