В статье предлагается понятие концептуальной операционной семантики языка программирования. Этот формализм представляет операционную семантику языка программирования в терминах его концептуальной модели, основанной на концептуальных системах переходов. Определяется специальный вид концептуальных систем переходов - операционные концептуальные системы переходов, ориентированный на спецификацию концептуальной операционной семантики языков программирования, описывается расширение языка концептуальных систем переходов CTSL для операционных концептуальных систем переходов, и предлагается техника использования расширенного CTSL в качестве предметно-ориентированного языка спецификации концептуальной операционной семантики программных языков. Концептуальная операционная семантика для семейства модельных языков программирования иллюстрирует эту технику.
Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования
Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования
Язык статьиАнглийский
Аннотация
Ключевые слова
DOI10.31144/si.2307-6410.2017.n9.p155-200
УДК004.8
Номер
№ 9,
Страницы155-200
Файл
paper2_0.pdf
(870.72 КБ)
Библиографическая ссылка
Ануреев И.С. Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования // Системная информатика, 2017. – № 9. – С. 155-200. – DOI: https://doi.org/10.31144/si.2307-6410.2017.n9.p155-200.