Денотационная семантика: определение смысла программы через математические объекты (функции), которые она вычисляет.
Статей пока нет. Будьте первым!