Онтологические системы перехода и их применение к семантике компьютерных языков; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 322, № 5 : Управление, вычислительная техника и информатика.— 2013.— [С. 209-213] |
|---|---|
| Autor principal: | |
| Sumari: | Заглавие с титульного листа Электронная версия печатной публикации Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием. |
| Idioma: | rus |
| Publicat: |
2013
|
| Col·lecció: | Алгоритмическое и программное обеспечение |
| Matèries: | |
| Accés en línia: | http://earchive.tpu.ru/bitstream/11683/4833/1/bulletin_tpu-2013-322-5-41.pdf |
| Format: | Electrònic Capítol de llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=240484 |