5863 search results - page 98 / 1173 » Calculating Functional Programs |
102
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
119
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
SIAMJO
2010
14 years 9 months ago
2010
Abstract: In this paper, we study KKT optimality conditions for constrained nonlinear programming problems and strong and Mordukhovich stationarities for mathematical
115
click to vote
FM
1994
Springer
15 years 6 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
125
click to vote
ICGA
1997
15 years 3 months ago
1997
Parallel Distributed Genetic Programming (PDGP) is a new form of Genetic Programming (GP) suitable for the development of programs with a high degree of parallelism. Programs are ...