Вінник В. Ю. Поняття рівності в середовищі експлікативного програмування (на прикладі абстрактних типів даних) / В. Ю. Вінник // Пробл. программирования. - 2002. - № 3-4. - С. 33-43. - Бібліогр.: 11 назв. - укp.Відзначено, що методологія експлікативного програмування застосовується до одного з найважливіших у теоретичному та практичному програмуванні понять - рівності. З'ясовано загальнозначущі невід'ємні характеристики рівності, які визначають її сутність. Показано, що у програмології рівність слід розуміти диференційовано, а також вміти розрізняти специфічні її типи. Тому експлікація рівності включає класифікацію цих типів та встановлення зв'язків між ними. Методику експлікації розглянуто на прикладі абстрактних типів даних. Індекс рубрикатора НБУВ: З973-018.01
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|