Polyvariant Detection of Uninitialized Arguments of Prolog Predicates

Thomas Lindgren. Polyvariant Detection of Uninitialized Arguments of Prolog Predicates. Journal of Logic and Algebraic Programming, 28(3):217-229, 1996.

Abstract

Abstract is missing.