Title of article :
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements
Author/Authors :
Roberto Giacobazzi، نويسنده , , Francesco Ranzato، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1998
Keywords :
Abstract interpretation , abstract domain refinement. , logic programsemantics , uniform closure
Journal title :
Information and Computation
Journal title :
Information and Computation
