Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика

Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика

Bibliographic Details
Parent link:Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000-
Т. 322, № 5 : Управление, вычислительная техника и информатика.— 2013.— [С. 209-213]
Main Author: Ануреев И. С. Игорь Сергеевич
Summary:Заглавие с титульного листа
Электронная версия печатной публикации
Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием.
Language:Russian
Published: 2013
Series:Алгоритмическое и программное обеспечение
Subjects:
спецификация
операционно-онтологическая семантика
компьютерные языки
онтологии
системы переходов
электронный ресурс
Online Access:http://earchive.tpu.ru/bitstream/11683/4833/1/bulletin_tpu-2013-322-5-41.pdf
Format: Electronic Book Chapter
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=240484

Similar Items

Similar Items