• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Аксиоматический язык программирования алгебраических спецификаций

Набебин А. А.

Описывается аксиоматический подход в программировании с модульной системой программ, строгой сортностью типов данных, параметризацией. В качестве примера рассмотрен  функциональный язык программирования высокого уровня OBJ3. Сортность типов данных позволяет обрабатывать ошибки типа деления на ноль.  Параметризация позволяет использовать программы многократно. Программа есть аксиоматически заданная алгебраическая теория, написанная в терминах языка. Аксиоматический подход облегчает задачу верификации программ. OBJ3 может служить платформой для создания других языков программирования.