Peculiarities of semantic computation of string-embedded languages

Abstract

Иванов Андрей Васильевич. Особенности вычисления семантики встроенных языков. к. ф.-м. н., доц. Булычев Д.Ю. Направление фундаментальной информатики и информационных технологий, кафедра информатики. Работа посвящена особенностям семантики встроенных языков. Такие языки используются для взаимосвязи компонент программного обеспечения, например, для доступа к базам данных. Особенность работы со встроенными языками заключается в том, что необходимо анализировать потенциально бесконечное множество выражений. Это требует особых структур данных и алгоритмов. Существующие инструменты для поддержки встроенных языков плохо расширяются и почти не осуществляют семантического анализа. В работе описан алгоритм построения графа потока управления для встроенных языков. Также приведена адаптация алгоритма поиска хорошо определённых переменных для построенного графа. 18 источников. Иванов, А. В. Особенности вычисления семантики встроенных языков: магистерская дис.: защищена 27.05.2016 / Иванов Андрей Васильевич. – СПб., 2016. – 33 с. – Библиогр.: с. 32–33.

Ivanov Andrei. Peculiarities of semantic computation of string-embedded languages. Associate professor Dmitri Boulytchev. Main Field of Study of Fundamental Computer Science and Information Technologies, Computer Science department.

This thesis is devoted to peculiarities of semantics of string-embedded languages. Such languages are used for interactions of the software components such as database. The peculiarity of string-embedded languages handling is to analyse potentially infinitive expressions set. It requires specific data structures and algorithms. Functionality of currently existing tools that supports string-embedded languages is often limited. Also such tools usually don’t support semantic analysis. In this thesis, algorithm of control flow graph building for string-embedded languages is proposed. Also adaptation of algorithm of definite assignment analysis is described. The number of references is 18. A. Ivanov. Peculiarities of semantic computation of string-embedded languages.: master’s thesis: thesis defence 27.05.2016 / Andrei Ivanov - SPb, 2016 - 33 pages, bibliography pages 23-33