Верификация предикатной программы бинарного поиска объекта произвольного типа

Верификация предикатной программы бинарного поиска объекта произвольного типа

Язык статьи
Русский
Аннотация
Описывается построение и дедуктивная верификация предикатной программы бинарного поиска, идентичной программе bsearch на языке Си из библиотеки ОС Linux. В языке предикатного программирования определяются новые конструкции для произвольных типов в качестве параметров программ. Для объектов произвольного типа вводятся трансформации кодирования через указатели.
УДК
Страницы
45-64
Файл
bsearchsi.pdf888.42 КБ
Номер