Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Материал конференции: "Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск)"
Авторы: Гречаник С.А.
Перспективы применения нейронных сетей в суперкомпиляции и насыщении равенствами
Аннотация:
Многие методы преобразования программ (включая суперкомпиляцию и насыщение равенствами) можно сформулировать в виде набора правил переписывания графов или термов, применяемых в некотором порядке, заданном эвристиками. Эти эвристики обычно создаются вручную, поэтому интересно автоматизировать их создание, например, при помощи машинного обучения. В данной работе мы дадим обзор некоторых подходов к решению подобных задач при помощи нейронных сетей.
Ключевые слова:
машинное обучение, нейронные сети, анализ программ, преобразование программ
Язык публикации: русский,  страниц: 12 (с. 278-289)
Полный текст на русском языке: Сведения об авторах:
  • Гречаник Сергей Александрович,  orcid.org/0000-0001-8575-9689,  ИПМ им. М.В. Келдыша РАН