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

Συγγραφείς: Кулиджанова, Мария

Πηγή: Science and Education; Vol. 5 No. 4 (2024): Science and Education; 114-119 ; 2181-0842

Θεματικοί όροι: среда разработки .NET, парадигма программирования, параллельное программирование, функциональное программирование, язык F#

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: https://openscience.uz/index.php/sciedu/article/view/6895

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

Συνεισφορές: Новый, В. В., науч. рук.

Θεματικοί όροι: пирамида тестирования, API, функциональное программирование, Java, программное обеспечение

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://rep.vsu.by/handle/123456789/38114

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

Συγγραφείς: Gorodnyaya, L.V.

Θεματικοί όροι: memory access discipline, multi-threaded programs, УДК 004.43, освобождение памяти, data immutability, functional programming, многопоточные программы, функциональное программирование, memory freeing, дисциплина доступа к памяти, восстановление данных, неизменяемость данных, БК 22.18, data recovery

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://dspace.susu.ru/xmlui/handle/00001.74/52043

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

Συγγραφείς: Городняя, Лидия Васильевна

Πηγή: 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

Θεματικοί όροι: учебные языки программирования, виртуальная машина, система команд, функциональное программирование, восстановление данных, освобождение памяти, многопоточные программы, параллельные вычисления, общая память, взаимодействие процессов, УДК 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

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: https://rdl-journal.ru/article/view/757

ANALYSIS OF MECHANISMS AND EFFICIENCY OF SPECIALIZED LANGUAGES OF FUNCTIONAL PROGRAMMING

Συγγραφείς: null I. M. Storchak, null O. P. Ivanov

Πηγή: 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

Θεματικοί όροι: 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, функциональное программирование, возможности языков, сравнение языков, специализированые функциональные язики

Περιγραφή αρχείου: application/pdf; text/html

Σύνδεσμος πρόσβασης: 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 ; Перспективы функционального программирования параллельных вычислений

Συγγραφείς: Городняя, Лидия Васильевна

Πηγή: 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

Θεματικοί όροι: функциональное программирование, парадигмальная декомпозиция, параллельные вычисления, система программирования, мультипарадигмальность, УДК 004.43, functional programming, paradigm decomposition, parallel computing, multi-paradigm programming languages, UDC 004.43

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: https://elbib.ru/article/view/713

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

Συγγραφείς: A. I. Adamovich, A. V. Klimov, А. И. Адамович, А. В. Климов

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

Θεματικοί όροι: монотонные объекты, deterministic programs, functional programming, object-oriented programming, monotonic objects, детерминированные программы, функциональное программирование, объектно-ориентированное программирование

Περιγραφή αρχείου: 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

Διαθεσιμότητα: https://vestnik.sibsutis.ru/jour/article/view/86

Conversion Typed Functions into Relational Form

Συγγραφείς: P. . Lozov, D. . Boulytchev

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

Θεματικοί όροι: 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, функциональное программирование, реляционное программирование

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Alexander K. Petrenko, Denis Buzdalov, Alexey Khoroshilov

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

Θεματικοί όροι: модельное время, моделирование архитектуры, моделирование поведения, монады, 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, ответственные системы

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov

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

Θεματικοί όροι: моделирование архитектуры, ответственные системы, моделирование поведения, модельное время, функциональное программирование, монады, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/89fbd92bc9794df398f0089a34e7f05b

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

Συγγραφείς: Anatoly Anatolievich Bocharov, Elena Vladimirovna Grebenyuk, Daniil Valerevich Chebotkov, Gurru Imranovich Akperov, Imran Musaevich Magerramov

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

Θεματικοί όροι: нечеткость, 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

Σύνδεσμος πρόσβασης: http://sitito.cs.msu.ru/index.php/SITITO/article/view/725

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

Θεματικοί όροι: язык R, визуализация, Data Science, functional programming, функциональное программирование, технический анализ, technical analysis, R language, финансовые рынки, statistical analysis, financial markets, наука о данных, статистический анализ, visualization

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

Θεματικοί όροι: библиотека функций, character strings, параллельное программирование, concurrent programming, function library, functional programming, 14. Life underwater, функциональное программирование, 7. Clean energy, строки символов

Σύνδεσμος πρόσβασης: 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/

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

Θεματικοί όροι: парадигмы программирования, логическое программирование, объектно-ориентированное программирование, imperative programming, programming paradigms, object-oriented programming, functional programming, императивное программирование, функциональное программирование, logical programming

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

Συγγραφείς: Еникеев Арслан Ильясович

Συνεισφορές: Институт вычислительной математики и информационных технологий, Казанский федеральный университет

Θεματικοί όροι: язык программирования, функциональное программирование, язык SCALA, Информатика

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

Διαθεσιμότητα: https://dspace.kpfu.ru/xmlui/handle/net/175867

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

Συγγραφείς: Грицкевич, Н. С., Китаров, Д. А.

Συνεισφορές: Новый, В. В., науч. рук.

Θεματικοί όροι: API, Java, пирамида тестирования, программное обеспечение, функциональное программирование

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: https://rep.vsu.by/handle/123456789/38114

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

Συγγραφείς: Galkina, Ekaterina Vladimirovna

Πηγή: 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

Θεματικοί όροι: мультипарадигмальное программирование, языки программирования, функциональное программирование, объектно-ориентированное программирование, метапрограммирование, multi-paradigm programming, programming languages, functional programming, object-oriented programming, metaprogramming

Περιγραφή αρχείου: 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

Διαθεσιμότητα: https://www.scilook.eu/index.php/slif/article/view/slif07-01-026
https://doi.org/10.30888/2415-7538.2017-07-01-026

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

Συγγραφείς: КАСЬЯНОВА ЕЛЕНА ВИКТОРОВНА

Θεματικοί όροι: АДАПТИВНЫЕ ГИПЕРМЕДИА-СИСТЕМЫ,КУРС ПО ПРОГРАММИРОВАНИЮ,ОБЛАЧНЫЕ ВЫЧИСЛЕНИЯ,ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ,ПРАКТИКУМ ПО ПРОГРАММИРОВАНИЮ,ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ,ЯЗЫК SISAL,ЯЗЫК ZONNON,ADAPTIVE HYPERMEDIA-SYSTEMS,COURSE OF PROGRAMMING,CLOUD COMPUTING,PARALLEL PROGRAMMING,PRACTICE OF PROGRAMMING,FUNCTIONAL PROGRAMMING,SISAL LANGUAGE,ZONNON LANGUAGE

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/metody-i-sredstva-obucheniya-programmirovaniyu-v-vuze
http://cyberleninka.ru/article_covers/16785926.png

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

Συγγραφείς: КРАВЧЕНКО ВЯЧЕСЛАВ АЛЕКСАНДРОВИЧ, ШИРАПОВ ДАШАДОНДОК ШАГДАРОВИЧ

Θεματικοί όροι: ИНЖЕНЕРИЯ ЗНАНИЙ, РЕШАТЕЛЬ ЗАДАЧ, ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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

Συγγραφείς: V E Zhuzhzhalov, Е М Besfamilnaja

Πηγή: RUDN Journal of Informatization in Education, Vol 0, Iss 1, Pp 32-34 (2010)

Θεματικοί όροι: синтаксис, семантика, функциональное программирование, парадигма программирования, функция, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/83cf11f9ccd74f77b2d5d94f6ad7d981