9595 search results - page 211 / 1919 » Functional programming in C |
171
click to vote
ICFP
2004
ACM
16 years 6 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...
165
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
126
click to vote
SIAMJO
2010
15 years 1 months ago
2010
Abstract: In this paper, we study KKT optimality conditions for constrained nonlinear programming problems and strong and Mordukhovich stationarities for mathematical
165
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.