Goal-independent Semantics for Path Dependent Analysis of Prolog Programs.

Lingzhong Zhao, Tianlong Gu, Junyan Qian

Browse the full TASE paper archive.