Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: XIV Всероссийское совещание по проблемам управления; Москва; Москва
Год издания: 2024
Ключевые слова: язык программирования, компиляция, процедурно- параметрическое программирование, полиморфизм, эволюционная разработка программного обеспечения, надежность программного обеспечения
Аннотация: Разработка программ зачастую связана с инкрементальным расширением функциональности. Для повышения надежности в этом случае необходимо минимизировать изменение ранее написанного кода. Для инструментальной поддержки эволюционной разработки предложена процедурнопараметрическая парадигма, расширяющая возможности процедурного подхода. Показать полностьюОна обеспечивает безболезненное расширение как данных, так и функций, используя при этом статическую типизацию вместо разыменования типов. В работе рассматривается включение процедурно-параметрических механизмов в язык С, который часто используется для параллельного и распределенного программирования. Предлагаются дополнительные синтаксические конструкции, ориентированные на поддержку подхода. К ним относятся: параметрические обобщения, специализации обобщений, обобщающие функции, обработчики специализаций. Рассматриваются их возможности. Описаны ситуации, при которых возможно повышение надежности программы за счет использования процедурно-параметрического полиморфизма.
Журнал: XIV Всероссийское совещание по проблемам управления
Номера страниц: 2528-2534
Место издания: Москва