Онтологические системы перехода и их применение к семантике компьютерных языков
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 322, № 5 : Управление, вычислительная техника и информатика.— 2013.— [С. 209-213] |
|---|---|
| Auteur principal: | |
| Résumé: | Заглавие с титульного листа Электронная версия печатной публикации Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием. |
| Langue: | russe |
| Publié: |
2013
|
| Collection: | Алгоритмическое и программное обеспечение |
| Sujets: | |
| Accès en ligne: | http://earchive.tpu.ru/bitstream/11683/4833/1/bulletin_tpu-2013-322-5-41.pdf |
| Format: | Électronique Chapitre de livre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=240484 |
| Description matérielle: | 1 файл (103 Кб) |
|---|---|
| Résumé: | Заглавие с титульного листа Электронная версия печатной публикации Операционно-онтологический подход к формальной спецификации компьютерных языков был разработан автором как методология создания операционной семантики компьютерного языка на базе его онтологии - так называемой операционно-онтологической семантики. В статье предлагается формализм для описания операционно-онтологических семантик компьютерных языков - онтологические системы переходов, и проводится сравнение онтологического описания компьютерных языков с традиционным грамматическим описанием. |