4959 search results - page 75 / 992 » Imperative Functional Programming |
ICALP
2007
Springer
15 years 5 months ago
2007
Springer
CP
2005
Springer
15 years 4 months ago
2005
Springer
ICALP
2004
Springer
15 years 4 months ago
2004
Springer
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
In this paper we examine how the choice of functions in a genetic program (GP) affects the rate of code growth and the development of resilient individuals. We find that functio...
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...