3736 search results - page 154 / 748 » Hand-Writing Program Generator Generators |
121
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we provide an algorithm that systematically considers all small trees in the search space of genetic programming. These small trees are used to generate useful subr...
145
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
153
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
138
click to vote
ECOOP
1999
Springer
15 years 9 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
251
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...