2477 search results - page 161 / 496 » Parallelizing Functional Programs by Generalization |
231
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Program errors are hard to detect and are costly both to programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verific...
128
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
144
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
147
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Genetic programming has been considered a promising approach for function approximation since it is possible to optimize both the functional form and the coefficients. However, it...
140
Voted
VEE
2005
ACM
15 years 10 months ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...