Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/4833
Название: Онтологические системы перехода и их применение к семантике компьютерных языков
Авторы: Ануреев, Игорь Сергеевич
Ключевые слова: спецификация; операционно-онтологическая семантика; компьютерные языки; онтологии; системы переходов
Дата публикации: 2013
Издатель: Томский политехнический университет
Библиографическое описание: Ануреев И. С. Онтологические системы перехода и их применение к семантике компьютерных языков / И. С. Ануреев // Известия Томского политехнического университета [Известия ТПУ]. — 2013. — Т. 322, № 5 : Управление, вычислительная техника и информатика. — [С. 209-213].
Аннотация: Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием.
URI: http://earchive.tpu.ru/handle/11683/4833
ISSN: 1684-8519
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2013-322-5-41.pdf81,36 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.