Публикации

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

Препринт 150

И.В. Марьясов

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

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

Препринт 149

Т.А. Андреева

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

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

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