18155 search results - page 302 / 3631 » Point |
152
click to vote
AGP
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
169
click to vote
ESOP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...