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

Deductive verification of predicate program of binary search of an arbitrary type object

Article's language
Russian
Abstract
Development and deductive verification of a predicate program of binary search, which is identical to bsearch.c program in the Linux kernel library, is described. New constructs in the predicate programming language for arbitrary types as program parameters are introduced. For an object of the arbitrary type, the transformation of coding an object via pointer is introduced.
UDK
Pages
45-64
File
bsearchsi.pdf888.42 KB
Number