Výsledky vyhľadávania - "Functional Programming"

LAZY EVALUATION AND INFINITE DATA STRUCTURES IN FUNCTIONAL LANGUAGES.

Autori: Hajiyeva, Rahima¹

Zdroj: German International Journal of Modern Science / Deutsche Internationale Zeitschrift für Zeitgenössische Wissenschaft. Nov2025, Issue 116, p82-84. 3p.

Predmety: *DATA structures, FUNCTIONAL programming (Computer science), COMPUTER memory management

Application of Monadic Calculations in Solving Numerical Problems.

Autori: Krasnov, M. M.¹ (AUTHOR) kmm@kiam.ru

Zdroj: Programming & Computer Software. Oct2025, Vol. 51 Issue 5, p297-304. 8p.

Predmety: *FUNCTIONAL programming (Computer science), *NUMERICAL calculations, *PROBLEM solving, *C++

To Abstract or Not to Abstract? A Comparative Study Evaluating the User Experience of Spreadsheet Programming with Sheet-Defined Functional Abstractions.

Autori: Kudebayeva, Anel Harte, Christopher Bryan-Kinns, Nick a ďalší

Zdroj: International Journal of Human-Computer Interaction. May2025, Vol. 41 Issue 9, p5445-5461. 17p.

Predmety: *TASK performance, FUNCTIONAL programming (Computer science), USER experience, WEB-based user interfaces, VIDEO recording

Map, Filter, and Conquer: A Visual Tool for Learning Higher-Order Functions

Autori: Silvan Renggli Sverrir Thorgeirsson Theo B. Weidmann a ďalší

Zdroj: ITiCSE 2025: Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education

Predmety: undergraduate education, higher-order functions, functional programming, live programming, visual programming, direct manipulation

Popis súboru: application/application/pdf

Prístupová URL adresa: http://hdl.handle.net/20.500.11850/747237

Structuring Success.

Autori: Neville-Neil, George V.¹ (AUTHOR) kv@acm.org

Zdroj: Communications of the ACM. Aug2024, Vol. 67 Issue 8, p33-34. 2p.

Predmety: *ALGORITHMS, *COMPUTER software, FUNCTIONAL programming (Computer science)

The modified deep first search algorithm: functional implementation

Autori: Constantin Ciubotaru

Zdroj: Computer Science Journal of Moldova, Vol 33, Iss 1(97), Pp 129-140 (2025)
Computer Science Journal of Moldova 97 (1) 129-140

Predmety: undirected and biconnected graphs, fundamental cycles, spanning tree, spanningtree, Electronic computers. Computer science, $dfs$, functional programming, QA75.5-76.95, DFS, cut vertices

Popis súboru: application/pdf

Prístupová URL adresa: https://ibn.idsi.md/vizualizare_articol/226819

Meet OCL♯, a relational object constraint language.

Autori: Steimann, Friedrich Clarisó, Robert Gogolla, Martin

Zdroj: Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1737-1761, 25p

Predmety: QUERY languages (Computer science), DATA modeling, MODELING languages (Computer science), FUNCTIONAL programming (Computer science), CONSTRAINT programming

Sensitivity by Parametricity

Autori: Lobo Vesga, Elisabet Russo, Alejandro Gaboardi, Marco a ďalší

Zdroj: Octopi: Säker Programering för Sakernas Internet WebSec: Säkerhet i webb-drivna system Proceedings of the ACM on Programming Languages. 8(OOPSLA2)

Predmety: Haskell, functional programming languages, differential privacy

Popis súboru: electronic

Prístupová URL adresa: https://research.chalmers.se/publication/543435
https://research.chalmers.se/publication/543435/file/543435_Fulltext.pdf

Comparative analysis of maze solving algorithms based on OCaml.

Autori: Wang, Qixin¹ (AUTHOR) sgqwan14@liverpool.ac.uk

Zdroj: AIP Conference Proceedings. 2024, Vol. 3194 Issue 1, p1-6. 6p.

Predmety: *FUNCTIONAL programming (Computer science), *EVIDENCE gaps, *COMPUTER science, *PROGRAMMING languages, *MAZE tests

Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data.

Autori: Vasenin, V. A. Zenzinov, A. A. Roganov, V. A.

Zdroj: Programming & Computer Software. 2024 Suppl 2, Vol. 50, pS155-S162. 8p.

Predmety: *FUNCTIONAL programming (Computer science), *CACHE memory, *INFORMATION storage & retrieval systems, *INFORMATION services, *SYSTEMS theory

Refactoring Loops in the Era of LLMs: A Comprehensive Study.

Autori: Midolo, Alessandro Tramontana, Emiliano

Zdroj: Future Internet. Sep2025, Vol. 17 Issue 9, p418. 27p.

Predmety: *Software engineering, *Java programming language, ChatGPT, Generative artificial intelligence, Software refactoring, Functional programming (Computer science)

Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

Autori: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. a ďalší

Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p612-630, 19p

Predmety: LOGIC programming, SOFTWARE verification, PREDICATE calculus, ASSERTIONS (Logic), FORMAL methods (Computer science), FUNCTIONAL programming (Computer science)

МАТЕРИНСЬКА ПЕРЕДАЧА МІКРОБІОТИ ТА ЇЇ РОЛЬ У ФОРМУВАННІ ІМУННОЇ СИСТЕМИ НЕМОВЛЯТ (ЛІТЕРАТУРНИЙ ОГЛЯД) (Ukrainian)

Alternate Title: MATERNAL MICROBIOTA TRANSMISSION AND ITS ROLE IN THE FORMATION OF THE INFANT IMMUNE SYSTEM (LITERATURE REVIEW). (English)

Autori: Знаменська, Т. К. Воробйова, О. В.

Zdroj: Neonatology Surgery & Perinatal Medicine; 2025, Vol. 15 Issue 3, p210-215, 6p

Predmety: SHORT-chain fatty acids, COLONIZATION (Ecology), CESAREAN section, FUNCTIONAL programming (Computer science), IMMUNOREGULATION

Functional Data Science for Secondary-School Students

Autori: Paul Biberstein Thomas Castleman Luming Chen a ďalší

Zdroj: Informatics in Education, Vol 23, Iss 4, Pp 723-734 (2024)

Predmety: LC8-6691, 05 social sciences, functional programming, data science, CODAP, Special aspects of education, 0503 education

Prístupová URL adresa: https://doaj.org/article/0bcace73da2d423a9647389635afb5a2

A Brief Overview of the Pawns Programming Language

Autori: Lee Naish

Zdroj: Software, Vol 3, Iss 4, Pp 473-497 (2024)

Predmety: sharing, FOS: Computer and information sciences, destructive update, QA76.75-76.765, Computer Science - Programming Languages, mutability, 0202 electrical engineering, electronic engineering, information engineering, functional programming, programming language, Computer software, 02 engineering and technology, effects, Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2409.03152
https://doaj.org/article/9bff4abc34304186bb8ad5a710e61ed9

Towards a More Efficient Selection Monad

Autori: Hartmann, Johannes Schrijvers, Tom Gibbons, Jeremy a ďalší

Prispievatelia: Hartmann, Johannes Schrijvers, Tom Gibbons, Jeremy a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783031745577

Predmety: Technology, Monads, Science & Technology, functional programming, Selection monad, monads, Computer Science, Software Engineering, Algorithm design, Functional programming, Computer Science, Theory & Methods, selection monad, performance optimisation, Computer Science, Performance Optimisation, algorithm design

Programming Languages and Systems

Prispievatelia: Vafeiadis, Viktor

Predmety: effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, Programming and scripting languages: general, Compilers and interpreters

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/101667

Theory Exploration: Automated Conjecturing for Programs and Proofs

Autori: Einarsdóttir, Sólrún, 1991

Predmety: Automated Reasoning, AI for Math, Conjecturing, Proof Assistants, Theory Exploration, Coinduction, Functional Programming, Formalization, Induction, Theorem Proving

Popis súboru: electronic

Prístupová URL adresa: https://research.chalmers.se/publication/548884
https://research.chalmers.se/publication/548884/file/548884_Fulltext.pdf

Bits of Knowledge: Combining Probabilistic and Formal Techniques for Secure and Low-Power Hardware Design

Autori: Jansson Valter, Henrik, 1998

Predmety: Computer Architecture, Functional programming, Formal verification, Low-power computing, Probabilistic modeling

Popis súboru: electronic

Prístupová URL adresa: https://research.chalmers.se/publication/546445
https://research.chalmers.se/publication/546445/file/546445_Fulltext.pdf

Verified Inlining and Specialisation for PureCake

Autori: Kanabar, Hrutvik Korban, Kacper Myreen, Magnus

Zdroj: De nästa 700 verifierade kompilatorerna 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14577 LNCS:275-301

Predmety: functional programming, machine-checked proofs, function inlining, loop optimisation, verified compilation

Popis súboru: electronic

Prístupová URL adresa: https://research.chalmers.se/publication/541093
https://research.chalmers.se/publication/541093/file/541093_Fulltext.pdf