Відзначено, що методологія експлікативного програмування застосовується до одного з найважливіших у теоретичному та практичному програмуванні понять - рівності. З'ясовано загальнозначущі невід'ємні характеристики рівності, які визначають її сутність. Показано, що у програмології рівність слід розуміти диференційовано, а також вміти розрізняти специфічні її типи. Тому експлікація рівності включає класифікацію цих типів та встановлення зв'язків між ними. Методику експлікації розглянуто на прикладі абстрактних типів даних.

• Вінник Вадим Юрійович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"