Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://earchive.tpu.ru/handle/11683/4833
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Ануреев, Игорь Сергеевич | ru |
dc.date.accessioned | 2015-11-20T03:07:42Z | - |
dc.date.available | 2015-11-20T03:07:42Z | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | Ануреев И. С. Онтологические системы перехода и их применение к семантике компьютерных языков / И. С. Ануреев // Известия Томского политехнического университета [Известия ТПУ]. — 2013. — Т. 322, № 5 : Управление, вычислительная техника и информатика. — [С. 209-213]. | ru |
dc.identifier.issn | 1684-8519 | - |
dc.identifier.uri | http://earchive.tpu.ru/handle/11683/4833 | - |
dc.description.abstract | Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием. | ru |
dc.format.mimetype | application/pdf | - |
dc.language.iso | ru | en |
dc.publisher | Томский политехнический университет | ru |
dc.relation.ispartof | Известия Томского политехнического университета [Известия ТПУ]. 2013. Т. 322, № 5 : Управление, вычислительная техника и информатика | - |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.source | Известия Томского политехнического университета | - |
dc.subject | спецификация | - |
dc.subject | операционно-онтологическая семантика | - |
dc.subject | компьютерные языки | - |
dc.subject | онтологии | - |
dc.subject | системы переходов | - |
dc.title | Онтологические системы перехода и их применение к семантике компьютерных языков | ru |
dc.type | Article | en |
dc.type | info:eu-repo/semantics/publishedVersion | en |
dc.type | info:eu-repo/semantics/article | en |
dcterms.audience | Researches | en |
local.description.firstpage | 209 | - |
local.description.lastpage | 213 | - |
local.filepath | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2013/v322/i5/41.pdf | - |
local.identifier.bibrec | RU\TPU\book\261741 | - |
local.issue | 5 | - |
local.localtype | Статья | ru |
local.volume | 322 | - |
Располагается в коллекциях: | Известия Томского политехнического университета. Инжиниринг георесурсов |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
bulletin_tpu-2013-322-5-41.pdf | 81,36 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.