7103 search results - page 203 / 1421 » Components and Generative Programming |
AAAI
1992
13 years 10 months ago
1992
The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the ta...
EUROGP
2003
Springer
14 years 2 months ago
2003
Springer
This paper discusses the underlying pressures responsible for code growth in genetic programming, and shows how an understanding of these pressures can be used to use to eliminate...
GECCO
2000
Springer
14 years 27 days ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it represents the solution to all instances of a problem (instead of just the...
ENTCS
2007
13 years 9 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...