УДК 007:681.512.2
КОНЦЕПТУАЛЬНАЯ ЦЕЛОСТНОСТЬ ЯЗЫКОВОГО ПРОГРАММНОГО ИНСТРУМЕНТАРИЯ
И. Ю. Каширин, д.т.н., профессор кафедры ВПМ РГРТУ; Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
О. И. Каширина, студентка РГРТУ; Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Рассматривается важнейшая задача проектирования языкового программного инструментария, такого как язык программирования, заключающаяся в обеспечении его концептуальной целостности. Особое внимание уделяется вопросам оптимизации синтаксических конструкций при разработке средств программирования. В качестве базового математического аппарата предлагается использовать теоретическую концепцию формальных программных машин, представляющих собой упорядоченное множество прикладных универсальных алгебраических систем. Концептуальная целостность рассматривается как фундаментальная комплексная характеристика инструментария, формирующаяся из множества различных составляющих языка программирования, тесно связанных друг с другом, и позволяющих рассматривать инструментарий с функционально различных точек зрения. Целью работы является анализ особенностей формального исследования языкового инструментария известных программных систем с выявлением оптимизирующих возможностей соответствующих формальных программных машин.
Ключевые слова: концептуальная целостность, языки программирования, анализ программ, алгоритмические алгебры, инструментальные программные средства, формальные программные машины, оптимизация программ, метауровневые языковые средства, синтаксис и семантика языковых конструкций.