Язык F# и его место среди языков функционального программирования

Authors: Кулиджанова, Мария

Source: Science and Education; Vol. 5 No. 4 (2024): Science and Education; 114-119 ; 2181-0842

Subject Terms: среда разработки .NET, парадигма программирования, параллельное программирование, функциональное программирование, язык F#

File Description: application/pdf

Relation: https://openscience.uz/index.php/sciedu/article/view/6895/6308; https://openscience.uz/index.php/sciedu/article/view/6895

Availability: https://openscience.uz/index.php/sciedu/article/view/6895

Применение функционального программирования в Test Automation Framework (TAF) в тестировании API

Contributors: Новый, В. В., науч. рук.

Subject Terms: пирамида тестирования, API, функциональное программирование, Java, программное обеспечение

File Description: application/pdf

Access URL: https://rep.vsu.by/handle/123456789/38114

Работа с данными в учебном языке программирования СИНХРО

Authors: Gorodnyaya, L.V.

Subject Terms: memory access discipline, multi-threaded programs, УДК 004.43, освобождение памяти, data immutability, functional programming, многопоточные программы, функциональное программирование, memory freeing, дисциплина доступа к памяти, восстановление данных, неизменяемость данных, БК 22.18, data recovery

File Description: application/pdf

Access URL: http://dspace.susu.ru/xmlui/handle/00001.74/52043

Organization of Calculations and Work with Memory in the Educational Programming Language SYNHRO ; Организация вычислений и работы с памятью в учебном языке программирования CИНХРО

Authors: Городняя, Лидия Васильевна

Source: Russian Digital Libraries Journal; Vol. 25 No. 6 (2022): Special issue «Scientific Services & Internet». Part 1; 566-599 ; Электронные библиотеки; Том 25 № 6 (2022): Тематический выпуск по материалам XXIV Всероссийской научной конференции «Научный сервис в сети Интернет», 19–23 сентября 2022 года. Часть 1.; 566-599 ; 1562-5419

Subject Terms: учебные языки программирования, виртуальная машина, система команд, функциональное программирование, восстановление данных, освобождение памяти, многопоточные программы, параллельные вычисления, общая память, взаимодействие процессов, УДК 004.43, УДК 042.4, educational programming languages, virtual machine, command system, functional programming, data recovery, memory release, multithreaded programs, parallel computing, shared memory, process interaction, UDC 004.43, UDC 042.4

File Description: application/pdf

Relation: https://rdl-journal.ru/article/view/757/835; https://rdl-journal.ru/article/view/757

Availability: https://rdl-journal.ru/article/view/757

ANALYSIS OF MECHANISMS AND EFFICIENCY OF SPECIALIZED LANGUAGES OF FUNCTIONAL PROGRAMMING

Authors: null I. M. Storchak, null O. P. Ivanov

Source: Nauka ta progres transportu, Iss 6(84), Pp 117-129 (2019)
Наука та прогрес транспорту. Вісник Дніпропетровського національного університету залізничного транспорту; № 6(84) (2019); 117-129
Наука и прогресс транспорта. Вестник Днепропетровского национального университета железнодорожного транспорта; № 6(84) (2019); 117-129
Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport; № 6(84) (2019); 117-129

Subject Terms: TA1001-1280, erlang haskel lisp, f #, 4. Education, 0211 other engineering and technologies, functional programming, 0102 computer and information sciences, 02 engineering and technology, scala, 01 natural sciences, halstead metrics, функціональне програмування, метрики Холстеда, можливості мов, порівняння мов, спеціалізовані функціональні мови, Erlang, Haskel, Lisp, F#, Scala, Transportation engineering, 0203 mechanical engineering, Halstead metrics, language capabilities, language comparison, specialized functional languages, Erlang Haskel Lisp, F #, 0202 electrical engineering, electronic engineering, information engineering, 10. No inequality, функциональное программирование, возможности языков, сравнение языков, специализированые функциональные язики

File Description: application/pdf; text/html

Access URL: http://stp.diit.edu.ua/article/download/195581/198108
https://doaj.org/article/90228e69e120491c8545b612af61c4c6
http://eadnurt.diit.edu.ua/jspui/handle/123456789/11872
http://stp.diit.edu.ua/article/view/195581
http://stp.diit.edu.ua/article/download/195581/198108
http://stp.diit.edu.ua/article/view/195581

Perspectives of Functional Programming of Parallel Computations ; Перспективы функционального программирования параллельных вычислений

Authors: Городняя, Лидия Васильевна

Source: Russian Digital Libraries Journal; Vol. 24 No. 6 (2021): Special issue «Internet Technologies in Modern Scientific Research». Part 2; 1090-1116 ; Электронные библиотеки; Том 24 № 6 (2021): Тематический выпуск «Интернет-технологии в современных научных исследованиях». Часть 2; 1090-1116 ; 1562-5419

Subject Terms: функциональное программирование, парадигмальная декомпозиция, параллельные вычисления, система программирования, мультипарадигмальность, УДК 004.43, functional programming, paradigm decomposition, parallel computing, multi-paradigm programming languages, UDC 004.43

File Description: application/pdf

Relation: https://elbib.ru/article/view/713/800; https://elbib.ru/article/view/713

Availability: https://elbib.ru/article/view/713

An approach to deterministic parallel programming system construction based on monotonic objects ; Подход к построению системы детерминированного параллельного программирования на основе монотонных объектов

Authors: A. I. Adamovich, A. V. Klimov, А. И. Адамович, А. В. Климов

Source: The Herald of the Siberian State University of Telecommunications and Information Science; № 3 (2019); 14-26 ; Вестник СибГУТИ; № 3 (2019); 14-26 ; 1998-6920

Subject Terms: монотонные объекты, deterministic programs, functional programming, object-oriented programming, monotonic objects, детерминированные программы, функциональное программирование, объектно-ориентированное программирование

File Description: application/pdf

Relation: https://vestnik.sibsutis.ru/jour/article/view/86/91; Абрамов С. М., Адамович А. И., Коваленко М. Р. Т-система – среда программирования с поддержкой автоматического динамического распараллеливания программ. Пример реализации алгоритма построения изображений методом трассировки лучей // Программирование. 1999. Т. 25, № 2. С. 100–107.; Адамович А. И. Струи как основа реализации понятия Т-процесса для платформы JVM // Программные системы: теория и приложения. 2015. Т. 6, № 4. С. 177–195. DOI:10.25209/2079-3316-2017-8-4-221-244.; Адамович А. И. Язык программирования Ajl: автоматическое динамическое распараллеливание для платформы JVM // Программные системы: теория и приложения. 2016. Т. 7, № 4. С. 83–117. DOI:10.25209/2079-3316-2016-7-4-83-117.; Адамович А. И., Климов А. В. Об опыте использования среды метапрограммирования Eclipse/TMF для конструирования специализированных языков // Научный сервис в сети Интернет: труды XVIII Всероссийской научной конференции. М.: ИПМ им. М. В. Келдыша РАН, 2016. С. 3–8. DOI:10.20948/abrau-2016-45.; Адамович А. И., Климов А. В. Как создавать параллельные программы, детерминированные по построению? Постановка проблемы и обзор работ // Программные системы: теория и приложения. 2017. Т. 8, № 4. С. 221–244. DOI:10.25209/2079-3316-2017-8-4-221-244.; Адамович А. И., Климов А.В. Принципы построения системы детерминированного параллельного программирования // Наукоемкое программное обеспечение: труды семинара 12-й Междунар. Ершовской конф. по информатике (ПCИ’19). 2–3 июля 2019 г., Новосибирск. С. 26–33. ISBN 978-5-4437-0909-3.; Андрианов А. Н., Баранова Т. П., Бугеря А. Б., Ефимкин К. Н. Трансляция непроцедурного языка Норма для графических процессоров // Препринты ИПМ им. М. В. Келдыша. 2016. № 73. 24 с. DOI:10.20948/prepr-2016-73.; Климов А. В. Детерминированные параллельные вычисления с монотонными объектами // Научный сервис в сети Интернет: многоядерный компьютерный мир: труды Всероссийской научной конференции. М.: Изд-во Московского университета, 2007. С. 212–217.; Скин Д., Гринхол Д. Kotlin. Программирование для профессионалов. СПб.: Питер, 2020.; Adamovich A.I., Klimov A.V. Building Cyclic Data in a Functional-Like Language Extended with Monotonic Objects // X Workshop PSSV: Program Semantics, Specification and Verification: Theory and Applications. Abstracts. 2019. P. 11-19. ISBN 978-5-4437-0918-5.; Arvind, Nikhil R. S., Pingali K. K. I-structures: Data Structures for Parallel Computing // ACM Trans. Program. Lang. Syst. 1989. V. 11, № 4. P. 598–632. DOI:10.1145/69558.69562.; Bocchino R. L. (Jr.), Adve V. S., Adve S. V., Snir M. Parallel Programming Must Be Deterministic by Default // Fifth USENIX Conference on Hot Topics in Parallelism, HotPar’09. USENIX Association, 2009.; Burke M. G., Knobe K., Newton R., Sarkar V. Concurrent Collections Programming Model // Encyclopedia of Parallel Computing / ed. D. Padua. Springer US, 2011. P. 364–371. DOI:10.1007/978-0-387-09766-4_238.; Hammond K., Michelson G. (eds.). Research Directions in Parallel Functional Programming, London, UK: Springer, 1999.; Klimov A. V. Dynamic Specialization in Extended Functional Language with Monotone Objects // SIGPLAN Not. 1991. V. 26, № 9. P. 199–210. DOI:10.1145/115865.376287.; Potanin A., Östlund J., Zibin Y., Ernst M. D. Immutability // Aliasing in Object-Oriented Programming / eds. D. Clarke, J. Noble, T. Wrigstad. LNCS 7850. Springer, 2013. P. 233–269.; Kahn G. The Semantics of a Simple Language for Parallel Programming // IFIP Congress, 1974. P. 471–475.; Kuper L. Lattice-based Data Structures for Deterministic Parallel and Distributed Programming, Ph.D. Thesis. IN, USA: Indiana University, 2015. 253 p.; Kuper L., Todd A., Tobin-Hochstadt S., Newton R. R. Taming the Parallel Effect Zoo: Extensible Deterministic Parallelism with LVish // ACM SIGPLAN Not. 2014. V. 49, № 6. P. 2–14. DOI:10.1145/2666356.2594312.; Marlow S. Parallel and Concurrent Programming in Haskell. CA, USA: O’Reilly, 2013.; https://vestnik.sibsutis.ru/jour/article/view/86

Availability: https://vestnik.sibsutis.ru/jour/article/view/86

Conversion Typed Functions into Relational Form

Authors: P. . Lozov, D. . Boulytchev

Source: Труды Института системного программирования РАН, Vol 30, Iss 2, Pp 45-64 (2018)

Subject Terms: 03 medical and health sciences, 0302 clinical medicine, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, генерация программ, QA75.5-76.95, 02 engineering and technology, функциональное программирование, реляционное программирование

Access URL: http://ispras.ru/proceedings/docs/2018/30/2/isp_30_2018_2_45.pdf
https://doaj.org/article/ed1ea8c1a3e84fa2888e1d5de2131ab9
https://cyberleninka.ru/article/n/preobrazovanie-tipizirovannyh-funktsiy-v-relyatsionnuyu-formu
https://ispranproceedings.elpub.ru/jour/article/view/481

On Representation of Simulation Time in Functional Programming Style

Authors: Alexander K. Petrenko, Denis Buzdalov, Alexey Khoroshilov

Source: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 341-366 (2019)

Subject Terms: модельное время, моделирование архитектуры, моделирование поведения, монады, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, функциональное программирование, 01 natural sciences, ответственные системы

Access URL: http://ispras.ru/proceedings/docs/2018/30/6/isp_30_2018_6_341.pdf
https://doaj.org/article/89fbd92bc9794df398f0089a34e7f05b
https://ispranproceedings.elpub.ru/jour/article/view/1137
https://link.springer.com/article/10.1134/S0361768819080073

On representation of simulation time in functional programming style

Authors: D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov

Source: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 341-366 (2019)

Subject Terms: моделирование архитектуры, ответственные системы, моделирование поведения, модельное время, функциональное программирование, монады, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1137; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/89fbd92bc9794df398f0089a34e7f05b

Задачи классификации управления организацией

Authors: Anatoly Anatolievich Bocharov, Elena Vladimirovna Grebenyuk, Daniil Valerevich Chebotkov, Gurru Imranovich Akperov, Imran Musaevich Magerramov

Source: Международный научный журнал "Современные информационные технологии и ИТ-образование". 17

Subject Terms: нечеткость, data visualizing, 9. Industry and infrastructure, объектно-ориентированное программирование, data storage, классификация, принятие решений, functional programming, оптимизация, fuzziness, функциональное программирование, 7. Clean energy, decision making, 12. Responsible consumption, object oriented programming, classification, processing, optimization

Access URL: http://sitito.cs.msu.ru/index.php/SITITO/article/view/725

Разработка бизнес-приложения для обработки и анализа данных по финансовым рынкам с помощью языка R

Subject Terms: язык R, визуализация, Data Science, functional programming, функциональное программирование, технический анализ, technical analysis, R language, финансовые рынки, statistical analysis, financial markets, наука о данных, статистический анализ, visualization

БИБЛИОТЕКА ОБРАБОТКИ СТРОК ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР

Subject Terms: библиотека функций, character strings, параллельное программирование, concurrent programming, function library, functional programming, 14. Life underwater, функциональное программирование, 7. Clean energy, строки символов

Access URL: https://research-journal.org/wp-content/uploads/2020/12/12-1-102.pdf#page=83
https://cyberleninka.ru/article/n/biblioteka-obrabotki-strok-dlya-yazyka-funktsionalno-potokovogo-parallelnogo-programmirovaniya-pifagor
https://research-journal.org/technical/biblioteka-obrabotki-strok-dlya-yazyka-funkcionalno-potokovogo-parallelnogo-programmirovaniya-pifagor/

ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ: СОВРЕМЕННЫЕ ТЕНДЕНЦИИ И ПЕРСПЕКТИВЫ

Subject Terms: парадигмы программирования, логическое программирование, объектно-ориентированное программирование, imperative programming, programming paradigms, object-oriented programming, functional programming, императивное программирование, функциональное программирование, logical programming

Функциональное программирование на языке SCALA

Authors: Еникеев Арслан Ильясович

Contributors: Институт вычислительной математики и информационных технологий, Казанский федеральный университет

Subject Terms: язык программирования, функциональное программирование, язык SCALA, Информатика

Relation: http://dspace.kpfu.ru/xmlui/bitstream/net/175867/-1/F_Yazyk_programmirovaniya____SCALA.pdf; https://dspace.kpfu.ru/xmlui/handle/net/175867

Availability: https://dspace.kpfu.ru/xmlui/handle/net/175867

Применение функционального программирования в Test Automation Framework (TAF) в тестировании API

Authors: Грицкевич, Н. С., Китаров, Д. А.

Contributors: Новый, В. В., науч. рук.

Subject Terms: API, Java, пирамида тестирования, программное обеспечение, функциональное программирование

File Description: application/pdf

Relation: e8469af3bfd0bb061308c0b2f81fd7eb; https://rep.vsu.by/handle/123456789/38114

Availability: https://rep.vsu.by/handle/123456789/38114

METAPROGRAMMING LAYER IMPLEMENTATION FOR AN OBJECT-ORIENTED MODEL OF THE LISP LANGUAGE ; РЕАЛИЗАЦИЯ МЕТАПРОГРАММНОГО СЛОЯ ДЛЯ ОБЪЕКТНО-ОРИЕНТИРОВАННОЙ МОДЕЛИ ЯЗЫКА ЛИСП ; РЕАЛІЗАЦІЯ МЕТАПРОГРАММНОГО ШАРУ ДЛЯ ОБ'ЄКТНО-ОРІЄНТОВАНА МОДЕЛЬ МОВИ ЛИСП

Authors: Galkina, Ekaterina Vladimirovna

Source: Scientific look into the future; No. 07-01 (2017); 21-27 ; Научный взгляд в будущее; № 07-01 (2017); 21-27 ; Науковий погляд у майбутнє; № 07-01 (2017); 21-27 ; 2415-7538 ; 2415-766X

Subject Terms: мультипарадигмальное программирование, языки программирования, функциональное программирование, объектно-ориентированное программирование, метапрограммирование, multi-paradigm programming, programming languages, functional programming, object-oriented programming, metaprogramming

File Description: application/pdf

Relation: https://www.scilook.eu/index.php/slif/article/view/slif07-01-026/pdf07-01-026; https://www.scilook.eu/index.php/slif/article/view/slif07-01-026/rinc07-01-026; https://www.scilook.eu/index.php/slif/article/view/slif07-01-026/copernicus07-01-026

Availability: https://www.scilook.eu/index.php/slif/article/view/slif07-01-026
https://doi.org/10.30888/2415-7538.2017-07-01-026

МЕТОДЫ И СРЕДСТВА ОБУЧЕНИЯ ПРОГРАММИРОВАНИЮ В ВУЗЕ

Authors: КАСЬЯНОВА ЕЛЕНА ВИКТОРОВНА

Subject Terms: АДАПТИВНЫЕ ГИПЕРМЕДИА-СИСТЕМЫ,КУРС ПО ПРОГРАММИРОВАНИЮ,ОБЛАЧНЫЕ ВЫЧИСЛЕНИЯ,ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ,ПРАКТИКУМ ПО ПРОГРАММИРОВАНИЮ,ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК SISAL,ЯЗЫК ZONNON,ADAPTIVE HYPERMEDIA-SYSTEMS,COURSE OF PROGRAMMING,CLOUD COMPUTING,PARALLEL PROGRAMMING,PRACTICE OF PROGRAMMING,FUNCTIONAL PROGRAMMING,SISAL LANGUAGE,ZONNON LANGUAGE

File Description: text/html

Availability: http://cyberleninka.ru/article/n/metody-i-sredstva-obucheniya-programmirovaniyu-v-vuze
http://cyberleninka.ru/article_covers/16785926.png

ПОСТРОЕНИЕ БАЗ ЗНАНИЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ МЕТОДОМ ФУНКЦИОНАЛЬНЫХ ГРАММАТИК

Authors: КРАВЧЕНКО ВЯЧЕСЛАВ АЛЕКСАНДРОВИЧ, ШИРАПОВ ДАШАДОНДОК ШАГДАРОВИЧ

Subject Terms: ИНЖЕНЕРИЯ ЗНАНИЙ, РЕШАТЕЛЬ ЗАДАЧ, ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/postroenie-baz-znaniy-dlya-resheniya-zadach-metodom-funktsionalnyh-grammatik
http://cyberleninka.ru/article_covers/15965249.png

Principles of formation of the course of computer science for engineering specialities

Authors: V E Zhuzhzhalov, Е М Besfamilnaja

Source: RUDN Journal of Informatization in Education, Vol 0, Iss 1, Pp 32-34 (2010)

Subject Terms: синтаксис, семантика, функциональное программирование, парадигма программирования, функция, Information technology, T58.5-58.64

File Description: electronic resource

Relation: http://journals.rudn.ru/informatization-education/article/view/6904; https://doaj.org/toc/2312-8631; https://doaj.org/toc/2312-864X

Access URL: https://doaj.org/article/83cf11f9ccd74f77b2d5d94f6ad7d981