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

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

Язык статьи
Английский
Аннотация
В статье предлагается понятие концептуальной операционной семантики языка программирования. Этот формализм представляет операционную семантику языка программирования в терминах его концептуальной модели, основанной на концептуальных системах переходов. Определяется специальный вид концептуальных систем переходов - операционные концептуальные системы переходов, ориентированный на спецификацию концептуальной операционной семантики языков программирования, описывается расширение языка концептуальных систем переходов CTSL для операционных концептуальных систем переходов, и предлагается техника использования расширенного CTSL в качестве предметно-ориентированного языка спецификации концептуальной операционной семантики программных языков. Концептуальная операционная семантика для семейства модельных языков программирования иллюстрирует эту технику.
DOI
10.31144/si.2307-6410.2017.n9.p155-200
УДК
Страницы
155-200
Файл
paper2_0.pdf870.72 КБ
Номер