|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математические основы информатики и программирования
Операционная семантика ЛЯПАСа
А. О. Жуковская, Д. А. Стефанцов Кафедра защиты информации и криптографии Национального исследовательского Томского государственного университета, г. Томск
Аннотация:
Сообщается о разработке операционной семантики ЛЯПАСа. Описываются её возможные применения: доказательство методом абстрактной интерпретации корректности обращения к элементам комплекса и создание верифицирующего транслятора.
Ключевые слова:
операционная семантика, ЛЯПАС, абстрактная интерпретация, верифицирующий транслятор.
Образец цитирования:
А. О. Жуковская, Д. А. Стефанцов, “Операционная семантика ЛЯПАСа”, ПДМ. Приложение, 2015, № 8, 131–132
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdma254 https://www.mathnet.ru/rus/pdma/y2015/i8/p131
|
Статистика просмотров: |
Страница аннотации: | 149 | PDF полного текста: | 46 | Список литературы: | 20 |
|