| |
Замулин, А. В.
Алгебраическая семантика императивного языка программирования [Текст] / А. В. Замулин
// Программирование. – 2003. – № 6. – 51-64.
В данной работе предлагается новый механизм описания семантики императивного языка программирования, основанный на построении математической модели программы, компоненты которой служат денотатами конструкций данного языка |
