2.7.3. ПРИМЕРЫ

Ниже приведены примеры результатных выражений:

Следующие результатные выражения являются результатными термами:

Пусть Env1 = {sM = 2, sN = 3, eA = A B C, tB = (D E F)}, и пусть "+" - имя функции, выполняющей сложение целых чисел, а "*" - имя функции, выполняющей умножение целых чисел, т.е. в частности имеет место

для любого глобального состояния St, ибо функции "+" и "*" не изменяют глобальное состояние.

Тогда имеем