A finite presentation theorem for approximating logic programs
N Heintze, J Jaffar - Proceedings of the 17th ACM SIGPLAN-SIGACT …, 1989 - dl.acm.org
N Heintze, J Jaffar
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989•dl.acm.orgThe notion of Cartesian closure on a set of unifiers has been used to define approximations
of the least models of logic programs. Such approximations, often called types, are not
known to be recursive. In this paper, we use Cartesian closure to define a similar, but more
accurate, approximation. The main result proves that our approximation is not only recursive,
but that it can be finitely represented in the form of a cyclic term graph. This explicit
representation can be used as a starting point for logic program analyzers.
of the least models of logic programs. Such approximations, often called types, are not
known to be recursive. In this paper, we use Cartesian closure to define a similar, but more
accurate, approximation. The main result proves that our approximation is not only recursive,
but that it can be finitely represented in the form of a cyclic term graph. This explicit
representation can be used as a starting point for logic program analyzers.
The notion of Cartesian closure on a set of unifiers has been used to define approximations of the least models of logic programs. Such approximations, often called types, are not known to be recursive. In this paper, we use Cartesian closure to define a similar, but more accurate, approximation. The main result proves that our approximation is not only recursive, but that it can be finitely represented in the form of a cyclic term graph. This explicit representation can be used as a starting point for logic program analyzers.
ACM Digital Library
Showing the best result for this search. See all results