4719 search results - page 32 / 944 » Spreadsheet functional programming |
CP
2005
Springer
15 years 11 months ago
2005
Springer
154
click to vote
GECCO
2005
Springer
15 years 11 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...
149
click to vote
PPDP
2009
Springer
16 years 13 days 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...
166
click to vote
IFL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...