110 search results - page 4 / 22 » A Functional Programming Approach to Deductive Databases |
DAGSTUHL
1996
13 years 7 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
CORR
2002
Springer
13 years 6 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
HIM
1997
Springer
13 years 10 months ago
1997
Springer
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
AISB
1997
Springer
13 years 10 months ago
1997
Springer
A technique for the credible modelling of economic agents with bounded rationality based on the evolutionary techniques is described. The genetic programming paradigm is most suite...
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...