3713 search results - page 385 / 743 » Constructing a Calculus of Programs |
146
click to vote
GECCO
2007
Springer
15 years 11 months 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...
136
click to vote
PPDP
2007
Springer
15 years 11 months 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...
149
click to vote
PPDP
2007
Springer
15 years 11 months 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...
179
click to vote
AOSD
2006
ACM
15 years 10 months 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...
144
click to vote
DCOSS
2005
Springer
15 years 10 months 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 ...