J. Harland. Success and failure for Hereditary Harrop formulae. Journal of Logic Programming, 17(1):1--29, 1993. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Succinct Solver for ALFP - Nielson, Seidl, Nielson (2002) (Correct)
....falls within the general framework of Abstract Interpretation [9, 10, 21] so that we can be sure that there always is a single best solution to the analysis problem considered. For this reason we decided not to allow a precondition of the form cl # pre as may be found in Hereditary Harrop Formulae [16]. 2.3 Expressiveness of ALFP The extra features of ALFP compared with classical Horn clauses increase the ease with which various properties can be expressed. The use of conjunctions in conclusions does not add further expressiveness as the same property can be expressed by duplicating the ....
J. Harland. Success and failure for Hereditary Harrop formulae. Journal of Logic Programming, 17(1):1--29, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC