Pair-independence and freeness analysis through linear refinement
Information and Computation
Test frame updating in CPM testing of Prolog programs
Software Quality Control
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
Designing prolog semantics for a class of observables
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Hi-index | 0.00 |