Тезисы докладов

Программирование

Предлагается новый язык спецификаций. Его основным достоинством является легкость изучения. Несмотря на простоту, язык обладает достаточной выразительной мощностью и имеет разрешающий метод для бескванторных формул. Описана методология применения языка для верификации программ на примере программы пузырьковой сортировки.

Дополнительные материалы:

HTML

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии

[Головная страница] [Конференции] [СО РАН]

© 2001, Сибирское отделение Российской академии наук, Новосибирск
© 2001, Объединенный институт информатики СО РАН, Новосибирск
© 2001, Институт вычислительных технологий СО РАН, Новосибирск
© 2001, Институт систем информатики СО РАН, Новосибирск
© 2001, Институт математики СО РАН, Новосибирск
© 2001, Институт цитологии и генетики СО РАН, Новосибирск
© 2001, Институт вычислительной математики и математической геофизики СО РАН, Новосибирск
© 2001, Новосибирский государственный университет
Дата последней модификации 06-Jul-2012 (11:45:21)