Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 322, № 5 : Управление, вычислительная техника и информатика.— 2013.— [С. 209-213] |
|---|---|
| Autore principale: | |
| Riassunto: | Заглавие с титульного листа Электронная версия печатной публикации Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием. |
| Lingua: | russo |
| Pubblicazione: |
2013
|
| Serie: | Алгоритмическое и программное обеспечение |
| Soggetti: | |
| Accesso online: | http://earchive.tpu.ru/bitstream/11683/4833/1/bulletin_tpu-2013-322-5-41.pdf |
| Natura: | Elettronico Capitolo di libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=240484 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 240484 | ||
| 005 | 20231031205715.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\261741 | ||
| 035 | |a RU\TPU\book\261739 | ||
| 090 | |a 240484 | ||
| 100 | |a 20130621d2013 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Онтологические системы перехода и их применение к семантике компьютерных языков |b Электронный ресурс |f И. С. Ануреев | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (103 Кб) | ||
| 225 | 1 | |a Алгоритмическое и программное обеспечение | |
| 230 | |a Электронные текстовые данные (1 файл : 103 Кб) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 213 (5 назв.)] | ||
| 330 | |a Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием. | ||
| 337 | |a Adobe Reader | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\261554 |x 1684-8519 |t Т. 322, № 5 : Управление, вычислительная техника и информатика |v [С. 209-213] |d 2013 |p 227 с. | |
| 610 | 1 | |a спецификация | |
| 610 | 1 | |a операционно-онтологическая семантика | |
| 610 | 1 | |a компьютерные языки | |
| 610 | 1 | |a онтологии | |
| 610 | 1 | |a системы переходов | |
| 610 | 1 | |a электронный ресурс | |
| 700 | 1 | |a Ануреев |b И. С. |g Игорь Сергеевич | |
| 801 | 1 | |a RU |b 63413507 |c 20090623 |g PSBO | |
| 801 | 2 | |a RU |b 63413507 |c 20220204 |g PSBO | |
| 856 | 4 | |u http://earchive.tpu.ru/bitstream/11683/4833/1/bulletin_tpu-2013-322-5-41.pdf | |
| 942 | |c CF | ||