Онтологические системы перехода и их применение к семантике компьютерных языков
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 322, № 5 : Управление, вычислительная техника и информатика.— 2013.— [С. 209-213] |
|---|---|
| Main Author: | |
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием. |
| 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 |