Скачать презентацию
Идет загрузка презентации. Пожалуйста, подождите
Презентация была опубликована 11 лет назад пользователемВалентин Еманов
1 Общее понятие верификации и валидации Примеры спецификации программ Лекция 11 Предикатное программирование
3 Построить спецификации 1.В списке вставить элемент x после элемента y 2. Инвертировать список 3. Удалить элемент из списка
4 1. В списке вставить элемент x после элемента y type T; type S = list(T); ins(S s, T x, y: ????) pre ?????????? post ????????? ;
5 1. В списке вставить элемент x после элемента y type T; type S = list(T); ins(S s, T x, y: S s1) post Ins(S s, T x, y, S s1) ; formula Ins(S s, T x, y, S s1) = s=nil ? s1 = s: s.car=y ? exists S s2. Ins(s.cdr,x,y,s2) & s1= y + x + s2 : exists S s2. Ins(s.cdr,x,y,s2) & s1=s.car + s2;
Еще похожие презентации в нашем архиве:
© 2024 MyShared Inc.
All rights reserved.