програмирование
Семантика языков программирования
Существует несколько подходов к определению семантики языков программирования.
Наиболее широко распространены разновидности следующих трёх: операционного, деривационного (аксиоматического) и денотационного (математического).
При описании семантики в рамках операционного подхода обычно исполнение конструкций языка программирования интерпретируется с помощью некоторой воображаемой (абстрактной) ЭВМ.
Деривационная семантика описывает последствия выполнения конструкций языка с помощью языка логики и задания пред- и постусловий.
Денотационная семантика оперирует понятиями, типичными для математики — множества, соответствия, а также суждения, утверждения и др.
Содержание
- 3 Вопрос.
- Языки программирования низкого уровня
- Преимущества
- Недостатки
- Языки программирования высокого уровня
- 4 Вопрос.
- 5 Вопрос.
- Синтаксис и языковые конструкции
- Семантика языков программирования
- 6 Вопрос.
- 12 Вопрос. Символьные типы
- Логический тип
- 14 Вопрос
- 20 Вопрос
- 21 Вопрос
- 22 Вопрос
- 23 Вопрос
- Присваивание (ввод/вывод);
- Сравнение
- Конкатенацию.
- 25 Вопрос
- 26 Вопрос
- 27 Вопрос.
- 28 Вопрос
- 29 Вопрос Рекурсия в программировании [править]Функции
- 31 Вопрос
- Краткое описание алгоритма
- 32 Вопрос
- 33 Вопрос. Операции с файлом
- [Править]Операции, связанные с открытием файла
- 34 Вопрос. Стандартные процедуры и функции для текстовых и типизированных файлов