Вы здесь

Главная

предикатное программирование

Связанные издания:

Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
Автоматическое доказательство формул корректности предикатной программы в системе Russell
Верификация и синтез программ сложения на базе правил корректности операторов
Верификация и синтез эффективных программ стандартных функций floor, isqrt и ilog2 в технологии предикатного программирования
Генерация и доказательство условий корректности предикатных программ
Контроль динамической семантики предикатной программы
Предикатное программирование: Учебное пособие
Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования
Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования
Реализация склеивания переменных в предикатной программе
Язык и технология автоматного программирования
Язык и технология автоматного программирования
Язык предикатного программирования Р
Язык спецификации процессов
Язык спецификации процессов