Алгебраическая семантика: представление значения программы через алгебраические свойства и закономерности её операций.
Статей пока нет. Будьте первым!