Generalized Semantics and Abstract Interpretation for Constraint Logic Programs

Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi. Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. Journal of Logic and Algebraic Programming, 25(3):191-247, 1995.

Abstract

Abstract is missing.