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

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