Results 1 to 10 of about 147,066 (311)
Functional Programming with Datalog [PDF]
, 2022 Datalog is a carefully restricted logic programming language. What makes Datalog attractive is its declarative fixpoint semantics: Datalog queries consist of simple Horn clauses, yet Datalog solvers efficiently compute all derivable tuples even for recursive queries.
André Pacak, Sebastian Erdweg
openaire +5 more sources
Genome as a Functional Program [PDF]
Lobachevskii Journal of Mathematics, 2020 We discuss a model of genome as a program with functional architecture and consider the approach to Darwinian evolution as a learning problem for functional programming. In particular we introduce a model of learning for some class of functional programs.
openaire +3 more sources
Polytypic Functions Over Nested Datatypes [PDF]
Discrete Mathematics & Theoretical Computer Science, 1999 The theory and practice of polytypic programming is intimately connected with the initial algebra semantics of datatypes. This is both a blessing and a curse. It is a blessing because the underlying theory is beautiful and well developed.
Ralf Hinze
doaj +1 more source
Organization Management Classification Objectives
Современные информационные технологии и IT-образование, 2021 In the article are considered entities classification issues for the purposes of decision-making in commercial companies and also there are offered algorithm and tools for employees efficiency analysis conducting in the context of clients’ requests ...
Imran Magerramov +4 more
doaj +1 more source
The modified deep first search algorithm: functional implementation [PDF]
Computer Science Journal of MoldovaThe article includes the modified deep first search algorithm (DFS) that allows, at a single traversal of a graph, to check its connectivity/biconnectivity, highlight the cut vertices, and build the spanning tree, the biconnected components, and the ...
Constantin Ciubotaru
doaj +1 more source
An Equivalent Linear Programming Form of General Linear Fractional Programming: A Duality Approach
Mathematics, 2021 Linear fractional programming has been an important planning tool for the past four decades. The main contribution of this study is to show, under some assumptions, for a linear programming problem, that there are two different dual problems (one linear ...
Mehdi Toloo
doaj +1 more source
Parallelizing Particle Swarm Optimization in a Functional Programming Environment
Algorithms, 2014 Many bioinspired methods are based on using several simple entities which search for a reasonable solution (somehow) independently. This is the case of Particle Swarm Optimization (PSO), where many simple particles search for the optimum solution by ...
Pablo Rabanal +2 more
doaj +1 more source
Transforming Functional Logic Programs into Monadic Functional Programs [PDF]
, 2011 We present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently implement lazy non-deterministic computations in Haskell in a monadic style.
Bernd Braßel +3 more
openaire +1 more source
Functional Choreographic Programming
, 2022 Choreographic programming is an emerging programming paradigm for concurrent and distributed systems, whereby developers write the communications that should be enacted and then a distributed implementation is automatically obtained by means of a compiler. Theories of choreographic programming typically come with strong theoretical guarantees about the
Luís Cruz-Filipe +4 more
openaire +2 more sources
A Semantic Framework to Debug Parallel Lazy Functional Languages
Mathematics, 2020 It is not easy to debug lazy functional programs. The reason is that laziness and higher-order complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder ...
Alberto de la Encina +3 more
doaj +1 more source