4370 search results - page 95 / 874 » Algebra of Logic Programming |
130
click to vote
JCSS
2002
15 years 2 months ago
2002
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
126
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
117
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
100
click to vote
EUROPAR
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...
132
click to vote
AADEBUG
1993
Springer
15 years 6 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....