Results 1 to 10 of about 3,779 (98)
Двусторонняя унификация программ и ее применение для задач рефакторинга
Труды Института системного программирования РАН, 2018 It is generally accepted that to unify a pair of substitutions θ_1 and θ_2 means to find out a pair of substitutions η' and η'' such that the compositions θ_1 η' and θ_2 η'' are the same.
T. A. Novikova, V. A. Zakharov
doaj +1 more source
Труды Института системного программирования РАН, 2018 Inline expansion is very important for high performance VLIW, especially for microprocessors with static scheduling. Optimizations in optimizing compilers for VLIW duplicate code aggressively and lead to long compile time. Our inlining algorithm is based
A. . Ermolitckii +4 more
doaj +1 more source
Polynomial time algorithm for checking strong equivalence of program
Труды Института системного программирования РАН, 2018 To unify a pair of algebraic expressions t1 and t2 is to find out such a substitution θ that both terms t1θ and t2θ have the same meaning. Unification problem can be extended to computational programs.
T. A. Novikova, V. A. Zakharov
doaj +2 more sources
ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ
Informatika, 2018 Описывается алгоритм конвертации формата XDL в промежуточный формат описания реализованного на FPGA проекта. Моделью промежуточного представления служит двудольный граф.
doaj
On the application of substitution algebra to program unification
Труды Института системного программирования РАН, 2018 Many problems in software engineering such as program refactoring, deobfuscation, vulnerability detection, require an efficient toolset for detecting pieces of code that have similar behavior.
V. A. Zakharov, T. A. Novikova
doaj
ДВОЙНАЯ ПОДСТАНОВКА В ТРИГОНОМЕТРИЧЕСКИХ УРАВНЕНИЯХ
, 2020 Г. М. Гузаиров +3 more
openalex +1 more source
ПОДСТАНОВКА РОЗИ И ЛОКАЛЬНАЯ СТРУКТУРА РАЗБИЕНИЙ ТОРА
, 2020 А. А. Жукова, А. В. Шутов
openalex +2 more sources
Перекладывающиеся разбиения тора, подстановка Рози и множества ограниченного остатка
, 2015 Dar'ya Vladimirovna Kuznetsova +1 more
openalex +2 more sources
Подстановка Пайерлса и операторный метод Маслова
, 2010 V. V. Grushin +7 more
openalex +2 more sources