Перспективы применения нейронных сетей в суперкомпиляции и насыщении равенствами
Аннотация:
Многие методы преобразования программ (включая суперкомпиляцию и насыщение равенствами) можно сформулировать в виде набора правил переписывания графов или термов, применяемых в некотором порядке, заданном эвристиками. Эти эвристики обычно создаются вручную, поэтому интересно автоматизировать их создание, например, при помощи машинного обучения. В данной работе мы дадим обзор некоторых подходов к решению подобных задач при помощи нейронных сетей.
Ключевые слова:
машинное обучение, нейронные сети, анализ программ, преобразование программ