3713 search results - page 385 / 743 » Constructing a Calculus of Programs |
172
click to vote
GECCO
2007
Springer
16 years 28 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 27 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 27 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 9 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 ...