5090 search results - page 400 / 1018 » Constructing Strategies for Programming |
172
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
180
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
194
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
213
click to vote
AOSD
2006
ACM
16 years 23 days ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
176
click to vote
DCOSS
2005
Springer
16 years 10 days ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...