Back to Results
First PageMeta Content
Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Lattice / Partially ordered set / KnasterTarski theorem / Complete lattice / Binary relation / Join and meet / Monotonic function


Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour
Add to Reading List

Document Date: 2018-10-25 12:43:22


Open Document

File Size: 239,01 KB

Share Result on Facebook
UPDATE