Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования

Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования

Язык статьи
Русский
Аннотация
В статье предлагается понятие концептуальной модели языка программирования. Этот формализм представляет типы языка программирования, значения, исключения, состояния и выполнимые конструкции абстрактной машины языка программирования, и ограничения для этих сущностей на концептуальном уровне. Представляется новое определение концептуальных систем переходов, ориентированное на спецификацию концептуальных моделей языков программмирования, описывается язык переопределенных концептуальных систем переходов CTSL, и предлагается техника использования CTSL в качестве предметно-ориентированного языка спецификации концептуальных моделей языков программирования. Концептуальные модели для семейства простых языков программирования иллюстрируют эту технику.
DOI
10.31144/si.2307-6410.2017.n9.p133-154
УДК
Страницы
133-154
Файл
paper1_0.pdf490.24 КБ
Номер