Эффективная трансляция направленных ациклических графов программ в промежуточное представление.

Standard

Эффективная трансляция направленных ациклических графов программ в промежуточное представление. / Меньшиков, Максим Александрович.

In: ПРОЦЕССЫ УПРАВЛЕНИЯ И УСТОЙЧИВОСТЬ, Vol. 7, No. 1, 2020, p. 271-275.

Research output: Contribution to journal › Article

BibTeX

@article{d7d0068ea78240df84093138853dd451,

title = "Эффективная трансляция направленных ациклических графов программ в промежуточное представление.",

abstract = "Компиляторы, средства трансформации кода и анализаторы программ вынуждены преобразовывать направленные ациклические графы исходных программ в более удобное для дальнейшей работы промежуточное представление. Этот процесс достаточно нетривиален для небиективных отображений. Основная причина - присутствие конструкций, изменяющих граф потока управления программы, таких как лямбда-функции, выражения-утверждения и т.п. Для правильной трансформации программы необходимо учитывать эти изменения и корректировать выражения, зависящие от них. В работе представлен алгоритм трансляции направленных ациклических графов программ в производные промежуточные представления с учетом изменений графа потока управления. Метод основан на поиске в глубину с многоэтапной обработкой синтаксических ветвей. Такой подход позволяет устранить трансляцию в тех случаях, когда она не является необходимой, что снижает использование системных ресурсов. В ходе тестирования было отмечено, что производительность решения зависит скорее от характерист",

keywords = "compilation, Intermediate Representation, static analysis, translation, компиляция, промежуточное представление, статический анализ, трансляция, compilation, Intermediate Representation, static analysis, translation, компиляция, промежуточное представление, статический анализ, трансляция",

author = "Меньшиков, {Максим Александрович}",

year = "2020",

language = "русский",

volume = "7",

pages = "271--275",

journal = "Процессы управления и устойчивость",

issn = "2313-7304",

publisher = "Смирнов Николай Васильевич",

number = "1",

}

RIS

TY - JOUR

T1 - Эффективная трансляция направленных ациклических графов программ в промежуточное представление.

AU - Меньшиков, Максим Александрович

PY - 2020

Y1 - 2020

N2 - Компиляторы, средства трансформации кода и анализаторы программ вынуждены преобразовывать направленные ациклические графы исходных программ в более удобное для дальнейшей работы промежуточное представление. Этот процесс достаточно нетривиален для небиективных отображений. Основная причина - присутствие конструкций, изменяющих граф потока управления программы, таких как лямбда-функции, выражения-утверждения и т.п. Для правильной трансформации программы необходимо учитывать эти изменения и корректировать выражения, зависящие от них. В работе представлен алгоритм трансляции направленных ациклических графов программ в производные промежуточные представления с учетом изменений графа потока управления. Метод основан на поиске в глубину с многоэтапной обработкой синтаксических ветвей. Такой подход позволяет устранить трансляцию в тех случаях, когда она не является необходимой, что снижает использование системных ресурсов. В ходе тестирования было отмечено, что производительность решения зависит скорее от характерист

AB - Компиляторы, средства трансформации кода и анализаторы программ вынуждены преобразовывать направленные ациклические графы исходных программ в более удобное для дальнейшей работы промежуточное представление. Этот процесс достаточно нетривиален для небиективных отображений. Основная причина - присутствие конструкций, изменяющих граф потока управления программы, таких как лямбда-функции, выражения-утверждения и т.п. Для правильной трансформации программы необходимо учитывать эти изменения и корректировать выражения, зависящие от них. В работе представлен алгоритм трансляции направленных ациклических графов программ в производные промежуточные представления с учетом изменений графа потока управления. Метод основан на поиске в глубину с многоэтапной обработкой синтаксических ветвей. Такой подход позволяет устранить трансляцию в тех случаях, когда она не является необходимой, что снижает использование системных ресурсов. В ходе тестирования было отмечено, что производительность решения зависит скорее от характерист

KW - compilation

KW - Intermediate Representation

KW - static analysis

KW - translation

KW - компиляция

KW - промежуточное представление

KW - статический анализ

KW - трансляция

KW - compilation

KW - Intermediate Representation

KW - static analysis

KW - translation

KW - компиляция

KW - промежуточное представление

KW - статический анализ

KW - трансляция

M3 - статья

VL - 7

SP - 271

EP - 275

JO - Процессы управления и устойчивость

JF - Процессы управления и устойчивость

SN - 2313-7304

IS - 1

ER -

ID: 78577608