| |
Махортов, С.
LP-структуры на решетках типов и некоторые задачи рефакторинга [Текст] / С. Махортов, Д
// Программирование. – 2008. – № 4. – С. 5-14.
Вводятся основанные на решетках алгебраические структуры, содержащие семантику продукционно-логического вывода на иерархии типов в объектно-ориентированной системе с дополнительным отношением. |
