The denotational semantics of procedural programs (the solution to the problem of variables' number minimization)

В работе описан алгоритм, который каждой программе, написанной на процедурном языке, ставит в соответствие такую функциональную систему уравнений, которая определяет ее денотационную семантику, и каждое уравнение этой системы имеет минимальное число переменных. Алгоритм использует математическую модель, для которой доказано существование наименьшего элемента.