1613 search results - page 81 / 323 » Functional and Constraint Logic Programming |
152
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
218
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
157
Voted
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
167
click to vote
LANMR
2004
15 years 5 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
142
click to vote
LISP
2008
15 years 3 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...