Спосіб порівняння абстрактних семантичних дерев програм написаних LISP-подібними мовами
Ескіз недоступний
Дата
2022
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Задача порівняння абстрактних семантичних дерев програм є однією з тих задач, що дозволяє аналізувати зміни на структурному рівні в різних версіях кодової бази програми, виконувати пошук плагіату тощо. Наявні способи порівняння використовують різноманітні модифікації алгоритму пошуку TED (tree edit distance), бо класичний алгоритм пошуку TED не вміє знаходити переміщені фрагменти програми, а його операція визначення “перейменованого” вузла не враховує семантичного чи синтаксичного сенсу. Також треба зауважити, що пошук переміщених фрагментів у загальному випадку є NP-повною задачею [1], а тому наявні способи використовують різноманітні спрощення чи емпіричні підходи, але вони пристосовані та враховують специфіку саме тих мов програмування для яких були створені [2].
Оскільки популярність використання функціональних мов програмування зростає, то розробка таких особливих способів пошуку переміщених фрагментів програм для LISP-подібних мов є задачею актуальною.
Опис
Ключові слова
Бібліографічний опис
Марченко, О. І. Спосіб порівняння абстрактних семантичних дерев програм написаних LISP-подібними мовами / Марченко О. І., Єрмоленко Д. В. // Прикладна математика та комп’ютинг ПМК' 2022. П'ятнадцята конференція магістрантів та аспірантів Київ, 16-18 листопада 2022 р. : збірник тез доповідей. - Київ : КПІ ім. Ігоря Сікорського, 2022. - С. 261-265.