А. О. Жуковская, Д. А. Стефанцов, “Операционная семантика ЛЯПАСа”, ПДМ. Приложение, 2015, выпуск 8,страницы 131

Эта публикация цитируется в 1 статье

Математические основы информатики и программирования

Операционная семантика ЛЯПАСа

А. О. Жуковская, Д. А. Стефанцов

Кафедра защиты информации и криптографии Национального исследовательского Томского государственного университета, г. Томск

Аннотация: Сообщается о разработке операционной семантики ЛЯПАСа. Описываются её возможные применения: доказательство методом абстрактной интерпретации корректности обращения к элементам комплекса и создание верифицирующего транслятора.

Ключевые слова: операционная семантика, ЛЯПАС, абстрактная интерпретация, верифицирующий транслятор.

УДК: 519.681.2

DOI: 10.17223/2226308X/8/50