Goal-independent Semantics for Path Dependent Analysis of Prolog Programs
2010 ◽
Vol 14
(1)
◽
pp. 29-56
◽
Keyword(s):
Keyword(s):