Семантика языков программирования
Расширим представление о семантике языка программирования (или формальной теории) хотя и предварительным, но более конкретным определением этого понятия. Семантикой будем называть интерпретацию (или, иначе, смысловое значение) абстрактного синтаксиса (а точнее, множества допустимых видов конструкций языка), представленное в терминах той или иной математически строгой формальной модели. Оказывается, все многообразие возможных подходов к семантике можно в основном представить всего двумя типами семантик, а именно, семантиками, ориентированными на компиляцию, и семантиками, ориентированными на интерпретацию ... под подходами к семантике, ориентированными на компиляцию, будем понимать такие подходы, в которых семантика представляет собой множество преобразований над синтаксической моделью в той или иной форме. В отличие от предыдущего подхода, под подходами к семантике, ориентированными на интерпретацию, будем понимать такие подходы, в которых семантика представляет собой множество описанных на специально построенном метаязыке преобразований синтаксически правильных конструкций языка программирования.
НОУ ИНТУИТ | Лекция | Семантика языков программирования
В лекции излагаются основополагающие принципы, история развития, существующие подходы и выразительные возможности семантического представления
intuit.ru
Зачем нужна формальная семантика программ, и какие виды семантики существуют? Здесь дело обстоит примерно так же, как с семантикой типов данных: существует операционная, аксиоматическая и математическая семантика программ. Операционная семантика программ нужна для того, что бы описать как произвести вычисления, который заданы программой, причём так, что эти вычисления мог выполнить неодушевлённый исполнитель-компьютер. Аксиоматическая семантика нужна для того, что бы «рассуждать» на чисто синтаксическом уровне о свойствах вычислений, заданных программой, причём так, что провести эти рассуждения может тот же компьютер. Наоборот, математическая семантика программ носит человеко-ориентированный характер, имеет некий мета-уровень, на котором человек может доказывать свойства целых классов программ.
Лекция 13 Введение в семантику программ (на примере языка НеМо) Ещё раз о неформальной семантике НеМо-программ - Документ
Документ - Каждая программа на языке НеМо состоит из описаний и тела. Поэтому семантика программ на языке НеМо состоит из двух слагаемых: семантики описаний и семантики тела программы.
gigabaza.ru