 |
| Russian | English |
| правило фрейма | frame rule (Ключевым для локальных рассуждений является введённое О’Хирном правило фрейма, в котором никакая свободная переменная не изменяется под влиянием команды. Alex_Odeychuk) |
|
| Russian | English |
| правило фрейма | frame rule (Ключевым для локальных рассуждений является введённое О’Хирном правило фрейма, в котором никакая свободная переменная не изменяется под влиянием команды. Alex_Odeychuk) |