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