Основные понятия теории функциональных программ

В статье рассматривается математическая модель и методы верификации функциональных программ. Основное внимание уделено теории функций, вычисляемых функциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции.