Зведений каталог бібліотек Харкова
Махортов, С. Д. LP-структуры на решетках типов и некоторые задачи рефакторинга [Текст] / Воронежский государственный университет, г.Воронеж, Россия // Программирование. — 2009. — С. 5-14.
- Анотація:
Вводятся основанные на решетках алгебраические структуры, содержащие семантику продукционно-логического вывода на иерархии типов в объектно-ориентированной системе с дополнительным отношением. Исследуются свойства таких структур.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2009.
- Теми документа
