Методика парадигмального анализа языков и систем программирования
Аннотация:
Цель статьи — описание методики сравнения языков программирования, удобной для оценки выразительной силы языков и трудоёмкости реализации систем программирования. Методика приспособлена к обоснованию практичных, объективных критериев декомпозиции программ, что можно рассматривать как подход к решению проблемы факторизации весьма усложнённых определений языков программирования и систем их поддержки. Кроме того, представлены результаты анализа наиболее известных парадигм программирования и намечен подход к навигации в современном расширяющемся пространстве языков программирования, основанный на классификации парадигм по особенностям постановок задач и семантической характеристики языков и систем программирования с акцентом на критерии качества программ и приоритеты в принятии решений при их реализации.
Ключевые слова:
определение языков программирования, парадигмы программирования, критерии декомпозиции определений, семантические системы
