Abstract Interpretation of Prolog Programs
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Hi-index | 0.00 |