4719 search results - page 32 / 944 » Spreadsheet functional programming |
CP
2005
Springer
15 years 6 months ago
2005
Springer
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
98
Voted
GECCO
2005
Springer
15 years 6 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 7 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...
112
click to vote
IFL
2003
Springer
15 years 5 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...