RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2011, том 18, номер 4, страницы 21–33 (Mi mais195)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Атрибутные аннотации и их применение в дедуктивной верификации C-программ

М. М. Атучин, И. С. Ануреев

Институт систем информатики имени А.П. Ершова СО РАН

Аннотация: Предложен новый вид аннотаций, называемых атрибутными аннотациями, и методология их применения в дедуктивной верификации программ. Описана коллекция аннотирующих атрибутов для подмножества C-kernel языка C и на их основе представлены два варианта аксиоматической семантики языка C-kernel – семантика прямого прослеживания и смешанная семантика прямого прослеживания.

Ключевые слова: дедуктивная верификация, атрибутная нормализация, атрибутные аннотации, аксиоматическая семантика, C-light, C-kernel.

Полный текст: PDF файл (361 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 519.681
Поступила в редакцию: 09.10.2011

Образец цитирования: М. М. Атучин, И. С. Ануреев, “Атрибутные аннотации и их применение в дедуктивной верификации C-программ”, Модел. и анализ информ. систем, 18:4 (2011), 21–33

Цитирование в формате AMSBIB
\RBibitem{AtuAnu11}
\by М.~М.~Атучин, И.~С.~Ануреев
\paper Атрибутные аннотации и их применение в~дедуктивной верификации C-программ
\jour Модел. и анализ информ. систем
\yr 2011
\vol 18
\issue 4
\pages 21--33
\mathnet{http://mi.mathnet.ru/mais195}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais195
  • http://mi.mathnet.ru/rus/mais/v18/i4/p21

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. И. С. Ануреев, “Дедуктивная верификация телекоммуникационных систем, представленных на языке Си”, Модел. и анализ информ. систем, 19:6 (2012), 34–44  mathnet
    2. И. С. Ануреев, “На пути к технологии разработки операционной семантики компьютерных языков: унифицированный формат помеченных систем переходов”, Тр. СПИИРАН, 25 (2013), 255–276  mathnet
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:112
    Полный текст:37
    Литература:13

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019