1. Главная
  2. Ресурсы
  3. Библиотечный поиск
ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКИЙ ПОЛИМОРФИЗМ ВЯЗЫКЕ С ДЛЯ ПОВЫШЕНИЯНАДЕЖНОСТИ ПРОГРАММ Легалов А.И.Косов П.В.2024 год

ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКИЙ ПОЛИМОРФИЗМ В ЯЗЫКЕ С ДЛЯ ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММ
доклад, тезисы доклада, статья из сборника материалов конференций

Дополнительные ссылки: eLibrary · Источник статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКИЙ ПОЛИМОРФИЗМ В ЯЗЫКЕ С ДЛЯ ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОГРАММ : доклад, тезисы доклада / А. И. Легалов, П. В. Косов. - [Б. м. : б. и.], 2024. - Текст : непосредственный // XIV Всероссийское совещание по проблемам управления : сборник научных трудов / XIV Всероссийское совещание по проблемам управления (2024 ; 17.06 - 20.06 ; Москва). - Москва, 2024. - С. 2528-2534. - ISBN 9785914502765.
Аннотация: Разработка программ зачастую связана с инкрементальным расширением функциональности. Для повышения надежности в этом случае необходимо минимизировать изменение ранее написанного кода. Для инструментальной поддержки эволюционной разработки предложена процедурнопараметрическая парадигма, расширяющая возможности процедурного подхода. Она обеспечивает безболезненное расширение как данных, так и функций, используя при этом статическую типизацию вместо разыменования типов. В работе рассматривается включение процедурно-параметрических механизмов в язык С, который часто используется для параллельного и распределенного программирования. Предлагаются дополнительные синтаксические конструкции, ориентированные на поддержку подхода. К ним относятся: параметрические обобщения, специализации обобщений, обобщающие функции, обработчики специализаций. Рассматриваются их возможности. Описаны ситуации, при которых возможно повышение надежности программы за счет использования процедурно-параметрического полиморфизма.
Год издания: 2024
Авторы: Легалов А.И. , Косов П.В.
Издательство: Москва
Номера страниц: 2528-2534
Держатель оригинала документа: Национальный исследовательский университет «Высшая школа экономики»
Мероприятие: XIV Всероссийское совещание по проблемам управления (Москва, 2024 ; 17.06 - 20.06)
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Расширение языка Cдля поддержкипроцедурно-параметрического полиморфизма Легалов Александр ИвановичКосов Павел Владимирович2023 год

Расширение языка C для поддержки процедурно-параметрического полиморфизма : научное издание

  • Легалов Александр Иванович и др.
  • 2023 год
Эволюционнаяразработкамногопоточныхпрограмм сприменениемпроцедурно-параметрической парадигмыпрограммирования Косов П.В.Легалов А.И.Васильев В.С.2025 год

Эволюционная разработка многопоточных программ с применением процедурно-параметрической парадигмы программирования :…

  • Косов П.В. и др.
  • 2025 год
Эволюционнаяразработка программ сприменениемпроцедурно-параметрической парадигмы Легалов А.И.2017 год

Эволюционная разработка программ с применением процедурно-параметрической парадигмы : доклад, тезисы доклада

  • Легалов А.И.
  • 2017 год

Разработка процедурно-параметрической парадигмы на языке GO : статья из журнала

  • Смоглюк С. Ю. и др.
  • 2020 год
Разработкапроцедурно-параметрической парадигмы наязыке GO Смоглюк С.Ю.Гарин Е.Н.Романова Д.С.2020 год

Разработка процедурно-параметрической парадигмы на языке GO : научное издание

  • Смоглюк С.Ю. и др.
  • 2020 год
ИНСТРУМЕНТАЛЬНАЯПОДДЕРЖКАЭВОЛЮЦИОННОГОРАСШИРЕНИЯ ПРОГРАММСРЕДСТВАМИПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГОПРОГРАММИРОВАНИЯ Легалов А.И.Косов П.В.2015 год

ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ СРЕДСТВАМИ ПРОЦЕДУРНО… : статья из журнала

  • Легалов А.И. и др.
  • 2015 год
Эволюционноерасширение программ сиспользованиемпроцедурно-параметрического подхода Легалов Александр ИвановичКосов Павел Владимирович2016 год

Эволюционное расширение программ с использованием процедурно-параметрического подхода : статья из журнала

  • Легалов Александр Иванович и др.
  • 2016 год
ОСОБЕННОСТИ ЯЗЫКАПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГОПРОГРАММИРОВАНИЯ Легалов Александр ИвановичСолоха Арсений Федорович2011 год

ОСОБЕННОСТИ ЯЗЫКА ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ : статья из журнала

  • Легалов Александр Иванович и др.
  • 2011 год

Показать ещё

ПОВЫШЕНИЕ НАДЕЖНОСТИПРОГРАММНОГООБЕСПЕЧЕНИЯ ДЛЯОБРАБОТКИ ИНФОРМАЦИИ Семенков К.Д.2024 год

ПОВЫШЕНИЕ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ ОБРАБОТКИ ИНФОРМАЦИИ : доклад, тезисы доклада, статья из сборника…

  • Семенков К.Д.
  • 2024 год
СТАТИСТИЧЕСКОЕМОДЕЛИРОВАНИЕПАРАМЕТРИЧЕСКОЙНАДЕЖНОСТИ ЭЛЕМЕНТОВТЕХНИЧЕСКИХ СИСТЕМ Бразговка О. В.Сугак Е. В.2023 год

СТАТИСТИЧЕСКОЕ МОДЕЛИРОВАНИЕ ПАРАМЕТРИЧЕСКОЙ НАДЕЖНОСТИ ЭЛЕМЕНТОВ ТЕХНИЧЕСКИХ СИСТЕМ : доклад, тезисы доклада

  • Бразговка О. В. и др.
  • 2023 год
Инструментальнаяподдержкапроцедурно-параметрической парадигмыпрограммирования Швец Дмитрий Александрович2004 год

Инструментальная поддержка процедурно-параметрической парадигмы программирования : диссертация на соискание ученой…

  • Швец Дмитрий Александрович
  • 2004 год
ИСПОЛЬЗОВАНИЕПРОЦЕДУР С ОДИНАКОВОЙСИГНАТУРОЙ ДЛЯЭВОЛЮЦИОННОГОРАСШИРЕНИЯ ПРОГРАММ Легалов Александр ИвановичКосов Павел ВладимировичЛегалов Игорь Александрович2015 год

ИСПОЛЬЗОВАНИЕ ПРОЦЕДУР С ОДИНАКОВОЙ СИГНАТУРОЙ ДЛЯ ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ : статья из журнала

  • Легалов Александр Иванович и др.
  • 2015 год
Инструментальнаяподдержкаподключаемых модулейв языкахпроцедурно-параметрическогопрограммирования Бовкун Александр Яковлевич2010 год

Инструментальная поддержка подключаемых модулей в языках процедурно… : автореферат дис. ... канд. техн. наук

  • Бовкун Александр Яковлевич
  • 2010 год
Применение обобщенныхзаписей впроцедурно-параметрическом языкепрограммирования Легалов Игорь Александрович2007 год

Применение обобщенных записей в процедурно-параметрическом языке программирования : статья из журнала

  • Легалов Игорь Александрович
  • 2007 год
Инструментальнаяподдержкаподключаемых модулейв языкахпроцедурно-параметрическогопрограммирования Бовкун Александр Яковлевич2010 год

Инструментальная поддержка подключаемых модулей в языках процедурно-параметрического… : защищена 28.01.2011

  • Бовкун Александр Яковлевич
  • 2010 год
Исследование методаповышения надежностипрограммногообеспечения с помощьюмультиверсионногоподхода Ефимов С.Н.Терсков В.А.Тяпин А.А.2021 год

Исследование метода повышения надежности программного обеспечения с помощью мультиверсионного подхода : научное издание

  • Ефимов С.Н. и др.
  • 2021 год