Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 81,36 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.