Семантика на езиците за програмиране ръководство Соскова 2008
Сумата се прибавя директно в кошницата
5.25 € (10.27 лв.)
.
За повече информация: order@kopieto.com
Съдържание
Предговор о
Първа глава.
ВЕРИФИКАЦИЯ НА ИТЕРАТИВНИ ПРОГРАМИ
§ 1,1. Принцип на структурната, индукция в множества с. фундирака
наредба 7
§ 1.2. Верификация на блок-схеми с един цикъл 17
§ 1.3. Метод на. индуктивните твърдения за. доказателство на частична коректност на блок-схеми 29
§ 1.4. Метод на Хоар за доказателство на частична коректност на
while-~пpoгpaми 50
Втора глава
КО М П А КТ И И О П Е Р А Т О Р И
§ 2.1. Частични функции и операции с тях 64
§ 2.2. Компактни оператори 67
§ 2.3. Индукционно правило на Скот ... 83
Трета глава ОБЛАСТИ НА СКОТ
§3.1. Определение и примери за области на Скот 93
§ 3.2. Непрекъснати изображения в области на Скот 106
§ 3.3. Теорема за най-малката неподвижна точка 120
Четвърта глава.
Р Е КУ Р С И В Н И П Р О Г Р А М И
§ 4.1. Денотационна семантика на. рекурсивните програми с предаване на параметрите по стойност 132
§ 4.2. Денотационна семантика на рекурсивните програми с предаване на параметрите по име 142
§ 4.3. Правило на Скот за доказване на свойства на рекурсивни
програми 153
Литература 171
.
