Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements

Roberto Giacobazzi, Francesco Ranzato. Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput., 145(2):153-190, 1998.

Abstract

Abstract is missing.