Оглавление
Семантика действия
-
Основы семантики действий
- Семантика действий – это формальная спецификация семантики языков программирования.
- Она сочетает в себе денотационную, операционную и алгебраическую семантику.
- Она прагматична и масштабируема для работы с реальными языками программирования.
-
Структура и семантические сущности
- Семантические сущности первого порядка обеспечивают модульность и расширяемость.
- Они включают действия, данные и результаты, которые могут быть представлены в виде трех типов семантических сущностей.
- Действия обрабатывают данные и результаты, изменяя текущее состояние.
-
Объекты действия и их аспекты
- Объекты действия имеют пять аспектов: обработка, временная информация, область видимости, стабильная информация и постоянная информация.
- Примитивные действия влияют только на один аспект, в то время как комбинаторы действий управляют последовательностью выполнения и потоками данных.
-
Объекты данных и их структуры
- Объекты данных упорядочены в структуры, известные как сортировки.
- Сортировки включают операции, которые могут быть выполнены с математическими объектами.
- Примеры объектов данных включают карты, списки, наборы и другие.
-
Обозначение действия и нотация
- Обозначение действия использует английские слова для обозначения действий.
- Нотация действий имитирует естественный язык и легко читается.
-
Другие ключевые аспекты
- Семантика действий повышает понятность за счет уровня абстракции.
- Управление и потоки данных неявно включены в действие.
- Программные фразы сопоставляются с действиями для определения значения языка программирования.
-
Спецификация языка программирования
- Семантика действий может быть разделена на микросемантику и макросемантику.
- Микросемантика определяет значение обозначения действия, а макросемантика – значение языка программирования.
Полный текст статьи: