Precise goal-independent abstract interpretation of constraint logic programs

Peter Schachte. Precise goal-independent abstract interpretation of constraint logic programs. Theoretical Computer Science, 293(3):557-577, 2003.

Abstract

Abstract is missing.