Sciweavers

1614 search results - page 39 / 323
» Polymorphism and Genetic Programming
Sort
View
CEC
2008
IEEE
15 years 11 months ago
Semantically driven crossover in genetic programming
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
Lawrence Beadle, Colin G. Johnson
LISP
2006
91views more  LISP 2006»
15 years 5 months ago
Polymorphic typed defunctionalization and concretization
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
François Pottier, Nadji Gauthier
FUIN
1998
112views more  FUIN 1998»
15 years 4 months ago
A Historical Perspective on the Evolution of Executable Structures
Genetic programming (Koza 1992) is a method of inducing behaviors represented as executable programs. The generality of the approach has spawned a proliferation of work in the evo...
Peter J. Angeline
PLPV
2010
ACM
16 years 2 months ago
Free theorems for functional logic programs
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
Jan Christiansen, Daniel Seidel, Janis Voigtlä...
OOPSLA
1989
Springer
15 years 9 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman