Fundamental studyThe reduced relative power operation on abstract domains
Under an Elsevier user license
open archive
Keywords
Abstract interpretation
Abstract domain
Reduced relative power
Separated abstract domain
Logic program analysis and semantics
Cited by (0)
Copyright © 1999 Published by Elsevier B.V.