8766 search results - page 334 / 1754 » Functional logic programming |
141
click to vote
EUROGP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...
149
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
116
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
151
click to vote
TYPES
1995
Springer
15 years 6 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
114
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...