967 search results - page 112 / 194 » Probabilistic Predicative Programming |
125
Voted
GECCO
2007
Springer
15 years 8 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...
128
Voted
ICLP
2009
Springer
15 years 9 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
104
Voted
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
131
click to vote
SARA
2009
Springer
15 years 7 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
130
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...