745 search results - page 65 / 149 » The Functional Side of Logic Programming |
120
click to vote
CSUR
1999
15 years 3 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
235
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
133
click to vote
ECEASST
2008
15 years 4 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
145
click to vote
EVOW
1994
Springer
15 years 8 months ago
1994
Springer
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...
130
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...