Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs

Peter Schachte. Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs. Theoretical Computer Science, 42:249-265, 2001. [doi]

Abstract

Abstract is missing.