4370 search results - page 95 / 874 » Algebra of Logic Programming |
110
click to vote
JCSS
2002
15 years 7 days 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 ...
102
Voted
LPNMR
2007
Springer
15 years 6 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...
101
Voted
CORR
2007
Springer
15 years 17 days 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...
85
Voted
EUROPAR
1997
Springer
15 years 4 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...
121
click to vote
AADEBUG
1993
Springer
15 years 4 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....