Препринты Института систем информатики СО РАН 2008 г.

Препринт 150
И.В. Марьясов
На пути к автоматической верификации программ на языке C-light. Смешанная аксиоматическая семантика языка С-kernel

В настоящей работе описывается смешанная аксиоматическая семантика языка C-kernel, являющегося ядром ориентированного на верификацию языка C-light. Данная семантика является основой разрабатываемого генератора условий корректности C-kernel-программ. Рассмотрено несколько примеров, иллюстрирующих применение правил вывода описанной семантики.

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

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

В данной работе проводится исследование возможности массирования и систематизации текстов задач и тестов, линеаризации тем задач, автоматизации подготовки задачных наборов и частичной автоматизации подготовки тестирующих наборов, - с целью дальнейшей автоматизации процесса составления задачных и тестовых наборов.




Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).