5863 search results - page 38 / 1173 » Calculating Functional Programs |
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
LCPC
2001
Springer
14 years 1 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
ESOP
2007
Springer
14 years 20 days ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
FOGA
1990
13 years 10 months ago
1990
This paper describes the recently developed genetic programming paradigm which genetically breeds populations of computer programs to solve problems. In genetic programming, the i...