Поттосин И.В. Методы создания эффективного программного обеспечения: языковый и структурные подходы, оптимизация программы

Диссертация на соискание ученой степени доктора физико-математических наук (в форме научного доклада) : 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей. — СО АН СССР. Вычислительный центр. — Новосибирск, 1989. — 49 с.: ил.Целью работы было построение методов, основанных на этих подходах, т.е. овеществление подходов в реальных методиках, инструментах и системах.
Первый из них - языковый подход - заключается в том, чтобы дать в руки системного программиста такие возможности в языке программирования, которые бы позволили ему на достаточно высоком уровне описывать алгоритмы, дающие достаточно эффективные и использующие особенности ЭВМ программы. Этот подход в данной работе овеществляется в создании машинно-ориентированного языка высокого уровня Эпсилон и соответствующей системы программирования (раздел 1 работы).
Второй - структурный подход - заключается в выборе такой структуры программных систем, который бы позволил сочетать ,универсальность системы с эффективностью ее использования в специальных случаях. Для реализации этого подхода был предт ложен метод разделения программной системы на универсальное ядро и специализированные подсистемы, базирующиеся на этом ядре. В своих приложениях этот метод требует такого определения ядра, которое бы обеспечивало для специализированных подсистем возможности эффективной реализации их функций. Метод, основанный на структурном подходе, был применен при разработке системного программного обеспечения системы коллективного пользования АИСТ-0 (раздел 2 работы).
Третий подход - оптимизация программ - выражается в применении специальных приемов и способов, которые бы обеспечили приемлемую эффективность реализации созданных пользователем программ. Чаще всего эти приемы и способы связаны с направленными преобразованиями программ. Разработка методов оптимизации программ заключается в построении теории и методологии таких преобразований, в создании методов реализации и алгоритмов оптимизации программ, в применении всего этого в оптимизирующих трансляторах и отдельных программных процессорах. Этим вопросам посвящен раздел 3 работы.