Regular ArticleUniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements☆
Under an Elsevier user license
open archive
Keywords
uniform closure, abstract interpretation, logic program semantics, abstract domain refinement
Cited by (0)
Copyright © 1998 Academic Press. All rights reserved.