Определение понятия программы

Определение понятия программы

Автор: Малышкин В.Э., Перепелкин В.А.

Журнал: Проблемы информатики @problem-info

Рубрика: Теоретическая и системная информатика

Статья в выпуске: 2 (63), 2024 года.

Бесплатный доступ

При решении сложных задач в программировании важную роль играет определение понятия программы. От того, как понимается программа, зависят подход к ее конструированию и ее свойства. В работе рассматривается понятие программы и дается ему определение на базе теории синтеза параллельных программ на вычислительных моделях. Предлагаемое определение отражает подход к процессу конструирования программы, определяемый этой теорией, начиная с описания задачи в терминах предметной области и заканчивая исполнением императивной программы с динамическими свойствами. Подход обладает рядом преимуществ, рассматриваемых в статье, таких как возможность выполнения алгоритмических оптимизаций, возможность автоматического конструирования программы, возможность обеспечения нефункциональных требований и проч. Рассматриваются параллели с другими определениями программ и особенности практического применения предлагаемого подхода.

Еще

Понятие программы, автоматическое конструирование программ, активные знания

Короткий адрес: https://sciup.org/143183455

IDR: 143183455   |   DOI: 10.24412/2073-0667-2024-2-16-31

Список литературы Определение понятия программы

  • Вальковский В. А., Малышкин В. Э. Синтез параллельных программ и систем на вычислительных моделях / . Отв. ред. В. Е. Котов; АН СССР, Сиб. отд-ние, ВЦ. Новосибирск: Наука. Сиб. отд-ние, 1988.
  • Малышкин В. Э. Технология фрагментированного программирования // Вестник ЮУрГУ. Серия: Вычислительная математика и информатика. 2012. № 46 (305).
  • Malyshkin V. Active Knowledge, LuNA and Literacy for Oncoming Centuries // In Essays Dedicated to Pierpaolo Degano on Programming Languages with Applications to Biology and Security. V. 9465. Springer-Verlag, Berlin, Heidelberg, 2015. P. 292–303.
  • Ершов А. П. Вычислимость в произвольных областях и базисах: Сб. научн. ст. М: ВИНИТИ, 1982. С. 3–58. (Семиотика и информатика; Вып. № 19).
  • Янов Ю.И. Метод сверток для разрешения свойств формальных систем. М.: ИПМ им. М. В. Келдыша, 1977. Вып. 11. 41 с. (Институт прикладной математики АН СССР. Препринт; № 11 за 1977 г.). [Электрон. Рес.]: https://library.keldysh.ru/preprint.asp?id=1977-11.
  • Вальковский В. А. О синтезе оптимальных программ на базе вычислительных моделей // Программирование. 1980. № 6. С. 27–36.
  • Malyshkin V., Perepelkin. V., Schukin G. Scalable Distributed Data Allocation in LuNA Fragmented Programming System // Journal of Supercomputing, S. I.: Parallel Computing Technologies–2017. Springer, 2017. P. 1–7. DOI: 10.1007/s11227-016-1781-0.
  • Кудрявцев А. А., Малышкин В. Э., Нуштаев Ю.Ю., Перепелкин В. А., Спирин В. А. Эффективная фрагментированная реализация краевой задачи фильтрации двухфазной жидкости // Проблемы информатики. 2023. № 2. С. 45–73. DOI: 10.24412/2073-0667-2023-2-45-73.
  • Akhmed-Zaki D., Lebedev D., Perepelkin V. Implementation of a three dimensional three-phase fluid flow (“oil-water-gas”) numerical model in LuNA fragmented programming system // Journal of Supercomputing (2017). N 73(2). Springer, 2017. P. 624–630. DOI: 10.1007/s11227-016-1780-1.
  • Перепелкин В. А., Софронов И. В., Ткачева А. А. Автоматизация конструирования численных параллельных программ с заданными нефункциональными свойствами на базе вычислительных моделей // Проблемы информатики. 2017. № 4. С. 47–60.
  • Malyshkin, V.E., Perepelkin, V. A. LuNA Fragmented Programming System, Main Functions and Peculiarities of Run-Time Subsystem // In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2011. Lecture Notes in Computer Science, vol 6873. Springer, Berlin, Heidelberg. [Electron. Res.]: https://doi.org/10.1007/978-3-642-23178-0_5.
  • Malyshkin V., Perepelkin V., Lyamin A. 2023. Trace Balancing Technique for Trace Playback in LuNA System // In Parallel Computing Technologies: 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21–25, 2023, Proceedings. Springer-Verlag, Berlin, Heidelberg, 42–50. [Electron. Res.]: https://doi.org/10.1007/978-3-031-41673-6_4.
  • Perepelkin V., Malkhanov V., Zakirov V. Preliminary results on fault tolerance support in LuNA system // Bull. Nov. ComP. Center, ComP. Science, 46 (2022), P. 43–55.
  • Malyshkin, V., Akhmed-Zaki, D., Perepelkin, V. Parallel programs execution optimization using behavior control in LuNA system // J. Supercomput. Springer, 2021. P. 9771–9779. DOI: 10.1007/s11227-021-03654-2.
  • Малышкин В. Э., Перепелкин В. А. Мультиагентный подход к повышению эффективности исполнения фрагментированных программ в системе LuNA // Проблемы информатики. 2023, № 3, С. 55–67. DOI: 10.24412/2073-0667-2023-3-55-67.
  • Belyaev, N., Kireev, S. LuNA-ICLU Compiler for Automated Generation of Iterative Fragmented Programs // In: Malyshkin V. (eds) Parallel Computing Technologies. PaCT 2019. Lecture Notes in Computer Science (2019). V. 11657. Springer, Cham. [Electron. Res.]: https://doi.org/10.1007/978-3-030-25636-4_2.
Еще
Статья научная
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp