1614 search results - page 178 / 323 » Polymorphism and Genetic Programming |
LISP
2008
14 years 10 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
76
Voted
SAS
2005
Springer
15 years 3 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
61
Voted
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...
ICFP
1999
ACM
15 years 2 months ago
1999
ACM
We propose a conservative extension of the polymorphic lambda calculus (A5B ) as an intermediate language for compiling languages with name-based class and interface hierarchies. ...