A Backward Analysis for Constraint Logic Programs

Andy King, Lunjin Lu. A Backward Analysis for Constraint Logic Programs. TPLP, 2(4-5):517-547, 2002.

Abstract

Abstract is missing.